Skip to Main content Skip to Navigation
New interface
Reports (Research report)

A Term Rewriting Based Structural Theory of Rhythm Notation

Florent Jacquemard 1, 2 Pierre Donat-Bouillud 3, 2 Jean Bresson 2 
1 MuTant - Synchronous Realtime Processing and Programming of Music Signals
IRCAM - Institut de Recherche et Coordination Acoustique/Musique, Inria Paris-Rocquencourt, UPMC - Université Pierre et Marie Curie - Paris 6, CNRS - Centre National de la Recherche Scientifique
2 Repmus - Représentations musicales
STMS - Sciences et Technologies de la Musique et du Son
Abstract : 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. It can be used to explore the space of Using complementary tree automata formalisms, one can restrict the search space according to notations preferences regarding e.g. metre or other user defined syntactic constraints.
Keywords : antescofo
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Florent Jacquemard Connect in order to contact the contributor
Submitted on : Thursday, April 2, 2015 - 12:50:19 PM
Last modification on : Wednesday, October 26, 2022 - 8:15:06 AM
Long-term archiving on: : Tuesday, April 18, 2017 - 9:01:50 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License


  • HAL Id : hal-01134096, version 3


Florent Jacquemard, Pierre Donat-Bouillud, Jean Bresson. A Term Rewriting Based Structural Theory of Rhythm Notation. [Research Report] ANR-13-JS02-0004-01 - EFFICACe. 2015. ⟨hal-01134096v3⟩



Record views


Files downloads