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
Type de document :
Rapport
[Research Report] ANR-13-JS02-0004-01 - EFFICACe. 2015, pp.11
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01134096
Contributeur : Florent Jacquemard <>
Soumis le : jeudi 2 avril 2015 - 12:50:19
Dernière modification le : jeudi 11 janvier 2018 - 06:27:23
Document(s) archivé(s) le : mardi 18 avril 2017 - 09:01:50

Fichier

efficace-rr.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

  • HAL Id : hal-01134096, version 3

Collections

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〉

Partager

Métriques

Consultations de la notice

357

Téléchargements de fichiers

132