1	Formal methods in form analysis of Transylvanian male solo dances Gábor Misi
2	Dance form analysis 1. Dance segmentation 2. Connections between structural units 3. Unit classification 4. Representative form of a unit class 5. Unit naming 6. Written dance representation 7. Mistakes of the dancer
3	Formal methods Formal method: works only with notation i.e. with written graphical signs without any meaning. Since formal methods will be dependent upon the quality of notation, i.e. how detailed and graphically standardized it is, notation conventions have to be complied with before performing an analysis.
4	Concepts I. semantic equality (identical movement) syntactic equality (identical symbols) graphic equality (identical drawing)
5	Concepts II. Laban-pattern matching - strong match (sign-length-identical) - weak match (sign-length tolerant) - very weak match (sign-length and pre-sign tolerant)
6	Concepts III. symmetric Laban-pattern augmented Laban-pattern wildcard Laban-pattern Laban logical expression
7	Applying formal methods 1. matches: the longest sequences on measure-starts avoid variants
8	Applying formal methods 2. a query, search parameters and isolated occurrences
9	Applying formal methods 3. skipped linkers, found variants, recognized mistakes
10	Applying formal methods 4. dance element instances and composed schemas
11	Applying formal methods 5. measure-start segments and their connections
12	Summary
13	Summary (cont.) Having formal concepts and methods could facilitate dialogue between researchers on a higher level of objectivity is necessary to describe algorithms for computer-aided dance analysis.