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
Inria Paris-Rocquencourt, UPMC - Université Pierre et Marie Curie - Paris 6, IRCAM, 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 metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-01134096
Contributor : Florent Jacquemard <>
Submitted on : Thursday, April 2, 2015 - 12:50:19 PM
Last modification on : Thursday, March 21, 2019 - 1:04:59 PM
Long-term archiving on : Tuesday, April 18, 2017 - 9:01:50 AM

File

efficace-rr.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : hal-01134096, version 3

Citation

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, pp.11. ⟨hal-01134096v3⟩

Share

Metrics

Record views

503

Files downloads

371