•Formai elemzés
• (mit?) a tánc külső
formáját
•
•Formális elemzés
• (hogyan?) formális
módszerekkel (matematika, nyelvészet)
• feltétel: notáció
•
•Számítógépes
elemzés
• (mivel?) számítógépes
programmal
• feltétel: notáció
digitálisan
• szoftver formális
módszerekre