A Structural Theory of Rhythm Notation based on Tree Representations and Term Rewriting


We present a tree-based symbolic representation of rhythm notation suitable for processing with purely syntactic theoretical tools such as term rewriting systems or tree automata. Then we propose an equational theory, defined as a set of rewrite rules for transforming these representations. This theory is complete in the sense that from a given rhythm notation the rules permit to generate all notations of equivalent durations.

Mathematics and Computation in Music: 5th International Conference, MCM 2015