Skip to Main content Skip to Navigation
New interface
Conference papers

Towards an Equational Theory of Rhythm Notation

Pierre Donat-Bouillud 1, 2, 3 Florent Jacquemard 2, 3 Masahiko Sakai 4 
2 Repmus - Représentations musicales
STMS - Sciences et Technologies de la Musique et du Son
3 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
Abstract : Trees are classical representations of hierarchical structures in symbolic music, in particular for rhythm notations, where the durations are defined by a hierarchy of subdivisions. Structures called rhythm trees have been integrated since a long time into Computer Aided Composition environments such as Patchwork and OpenMusic , for programming rhythmic objects. Term rewriting and tree automata and transducers are well established formalisms for transforming and reasoning on trees. With solid theoretical foundations, they are used in a wide range of applications including automatic reasoning, natural language processing, and foundations of web data processing. In this work, we consider a tree structured representation of rhythm suitable for defining a set of rewrite rules (i.e. oriented equations) preserving rhythms, while enabling the simplification of notations. This set can be seen as an axiomatization of rhythm notation which can be applied to reasoning on equivalent notations in assisted composition.
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download
Contributor : Florent Jacquemard Connect in order to contact the contributor
Submitted on : Tuesday, January 20, 2015 - 12:14:42 PM
Last modification on : Tuesday, July 5, 2022 - 8:38:54 AM
Long-term archiving on: : Tuesday, April 21, 2015 - 10:43:04 AM


Files produced by the author(s)


  • HAL Id : hal-01105418, version 1


Pierre Donat-Bouillud, Florent Jacquemard, Masahiko Sakai. Towards an Equational Theory of Rhythm Notation. Music Encoding Conference 2015, May 2015, Florence, Italy. ⟨hal-01105418⟩



Record views


Files downloads