J. P. Allouche and &. A. Mouret, Libertés non anarchiques, automates finis et champs matriciels, Proceedings of Colloque International " Structures Musicales et Assistance Informatique " . Marseille (France): Laboratoire Musique et Informatique, pp.45-50, 1988.

J. F. Allen and . Kautz, A Model of Naive Temporal Reasoning, Formal Theories of the Commonsense World Norwood NJ (USA): Ablex, pp.251-68, 1985.

B. Bel, Logiciels pour SYG Marseille (France): Laboratoire Musique et Informatique SYG: théorie Pattern grammars in formal representations of musical structures. Workshop on AI and Music Langages formels et musique. Rapport d'activités, groupe 'OC', Marseille (France): Laboratoire Musique et Informatique. 11th Intern. Joint Conf. on Artificial Intelligence. Detroit MI (USA) Laboratoire Musique et Informatique. (1990, forthcoming). Représentation, acquisition et production de connaissances en musique, pp.118-163, 1989.

P. Boulez, Penser la musique aujourd'hui, Gonthier. Chemillier, M, 1963.

. Solfège, commutation partielle et automate minimal d'intersection. Unpublished

M. Chemillier and &. D. Timis, Toward a theory of formal musical languages, 14th International Computer Music Conference, pp.175-83, 1988.

D. Jaffe, Ensemble Timing in Computer Music, Computer Music Journal, vol.9, issue.4, pp.38-48, 1985.
DOI : 10.2307/3679621

J. Kippen, The Tabla of Lucknow: a Cultural Analysis of a Musical Tradition, 1988.

J. B. Kippen and . Bel, Modelling music with grammars: formal language representation in the Bol Processor, Computer Representations and Models in, 1989.
URL : https://hal.archives-ouvertes.fr/halshs-00004506

O. Laske, Composition theory: An enrichment of music theory, Interface, vol.3, issue.1-2, pp.45-59, 1989.
DOI : 10.2307/3679506

M. Leman, Emerging Properties of Tonality in a Self-Organizing System. (Abstract) Workshop on AI and Music, 11th Intern, Joint Conf. on Artificial Intelligence. Detroit MI, pp.102-106, 1989.

A. Mazurkiewicz, Semantics of concurrent systems: a modular fixed-point trace approach. 5th European Workshop on Applications and Theory of Petri Nets Traces, histories, graphs: instances of a process monoid, Lecture Notes in Computer Science, vol.176, pp.353-71, 1984.

M. Minsky, Society of mind, Artificial Intelligence, vol.48, issue.3, 1986.
DOI : 10.1016/0004-3702(91)90036-J

F. Oppo, Per una teoria generale del languaggio musicale. Musical Grammars and Computer Analysis, pp.115-145, 1984.

V. Risch, PROLOG et les grammaires temporelles, Proceedings of Colloque International " Structures Musicales et Assistance Informatique " . Marseille (France): Laboratoire Musique et Informatique, pp.77-86, 1988.

J. C. Risset, Recent developments in musical data-processing and psychoacoustics, Etat de la Recherche Musicale, 1989.

S. Smoliar, Music Notation: Cognitive Red Herring?. Workshop on AI and Music, 11th Intern, Joint Conf. on Artificial Intelligence. Detroit MI, pp.53-62, 1989.

J. F. Van-benthem, The Logic of Time, 1983.

B. Vecchione, Pour une science de la réalité musicale La réalité musicale: éléments d'épistémologie musicologique Vers une méthodologie de l'assistance informatique en analyse musicale et en composition (II): rappels de théorie algébrique des questionnements, Thèse de Doctorat de IIIème cycle Thèse de Doctorat d'Etat Laboratoire Musique et Informatique, 1984.

I. Xenakis, Musiques formelles Paris (France): La Revue Musicale Augmented translation in (1971) Formalized music Vers une métamusique, Architecture et Musique, pp.38-70, 1963.

W. Zielonka, Notes on finite asynchronous automata, RAIRO: Informatique théorique et Applications, pp.99-135, 1987.
DOI : 10.1051/ita/1987210200991
URL : http://archive.numdam.org/article/ITA_1987__21_2_99_0.pdf

B. Bel and . Centre, National de la Recherche Scientifique 31 chemin Joseph Aiguier F-13402 Marseille Cedex 09 E-mail: bel@frmop11