Chemillier, Marc
Solfège, commutation partielle et automates de contrepoint
Mathématiques et Sciences humaines, Tome 110 (1990) , p. 5-25
URL stable : http://www.numdam.org/item?id=MSH_1990__110__5_0

Cet article s'inscrit dans un travail d'étude mathématique de la combinatoire musicale. Dans les deux premières parties, on propose un modèle formel de la synchronisation musicale, dont on donne quelques propriétés abstraites en comparant ce modèle à d'autres modèles de synchronisation utilisés pour le parallélisme en informatique théorique. Dans la troisième partie, on décrit un algorithme de production automatique de contrepoint par automates finis.
This article is part of a research on a mathematical structure for musical combinatorics. In the first part, we propose an algebraic structure adapted to the representation of the musical synchronisation. We then compare this structure with formal tools which are studied in the field of concurrent programming. In the last part, we describe an algorithm to produce counterpoint by means of finite automata.

Bibliographie

[ 1] Barbaud P., Introduction à la composition musicale automatique, Paris, Dunod, 1965.

[2] Barbaud P., La musique discipline scientifique, Paris, Dunod, 1968.

[3] Berard B., Shuffle littéral, étude formelle et applications, thèse, Univ. Paris 7, LITP 85-30, 1985.

[4] Bizzi G., Miroirs invisibles des sons. La construction des canons: réponse à une énigme, trad. A.-L. DEBELLEMANIERE, Annales littéraires de l'Université de Besançon, vol. 342, Les Belles Lettres, 1986.

[5] Cardon A., M. Crochemore, "Partitioning a graph in O(|A| log2|V|)", Theo. Comp. Sci., vol. 19 (1982), 82-98. Zbl 0478.68067

[6] Cartier P., D. Foata, Problèmes combinatoires de commutation et de réarrangements, Lecture Notes in Math. n° 85, Springer Verlag, 1969, 8-17. MR 239978 | Zbl 0186.30101

[7] Chemillier M., Contrepoint et informatique, rapport de stage à l'IRCAM, Nov.-Déc. 1986.

[8] Chemillier M., "Monoïde libre et musique", RAIRO Inf. Theo., vol. 21, n° 3 et 4 (1987), 341-371 et 379-417. Numdam | Zbl 0658.20042

[9] Chemillier M., D. Timis, "Toward a theory of formal musical languages", Proc. of the ICMC 88, Cologne, 1988, 175-183.

[10] Chemillier M., "Langages musicaux et automates : la rationalité du langage sériel", Actes du Colloque "Structures musicales et assistance informatique", MIM, 36 bd Pardigon 13004 Marseille, octobre 1990, (à paraître).

[11] Chemillier M., Structure et méthode algébriques en informatique musicale, thèse, Université Paris 7, LITP, 90-4, 1990.

[12] Cori R., D. Perrin, "Automates et commutation partielle", RAIRO Inf. Theo., vol. 19, n° 1 (1985), 21-32. Numdam | MR 795769 | Zbl 0601.68055

[13] De Simone R., "Langages infinitaires et produit de mixage", Theo. Comp. Sci., vol. 31 (1984), 83-100. MR 752096 | Zbl 0571.68064

[ 14] Duboc C., Commutation dans les monoïdes libres, thèse, LITP 86-25, 1986.

[ 15] Duboc C., Mixed product and the asynchronous automata, LITP 86-60, 1986. MR 895796

[16] Ebcioglu K., "An expert system for schenkerian synthesis of chorales in the style of J.S. Bach", Proc. of the ICMC 84, Paris IRCAM, 1984, 135-142.

[17] Ebcioglu K., "An expert system for harmonizing four-part chorales", Comp. Mus. J., vol. 12, n° 3 (1988), 43-51.

[ 18] Eilenberg S., Automata, languages and machines, vol. A, Academic Press, 1974. MR 530382 | Zbl 0317.94045

[19] Greussay P., Modèles de descriptions symboliques en analyse musicale, thèse, Univ. Paris8, 1973.

[20] Hiller L., Expérimental music composition with an electronic computer, New York, McGraw Hill, 1959.

[21] Lischka C., "Connectionist models of musical thinking", Proc. of the ICMC 87, Urbana-Champaign, 1987, 190-196.

[22] Perrin D., "Words over a partially commutative alphabet", Combinatorial algorithms on words, ed. Apostolico et Galil, NATO-ASI series, 329-340, Springer Verlag, 1984. MR 815350 | Zbl 0602.68070

[23] Rameau J.-P., "Observations sur notre instinct pour la musique, et sur son principe", 1754, Musique raisonnée, Paris, Stock, 1980, 145-200.

[24] Riotte A., "Une jonction nouvelle entre art et science: l'informatique musicale", Eurospectra, 1974, Musique et ordinateur, Ed. Centre Exper. Spectacle, 1983, 106-119.

[25] Streitberg B., K. Balzer, "The sound of mathematics", Proc. of the ICMC 88, Cologne, 1988, 158-165.

[26] Vandenheede J., "Expériences musicales avec PROLOG II", IRCAM Actualité de la Rech., Mai 1986.

[27] Vandenheede J., "Musical experiments with PROLOG II", Proc. of the ICMC 86, La Haye, 1986, 5-10.

[28] Viennot G., "Problèmes combinatoires posés par la physique statistique", Astérisque, n° 121-122 (1985), 225-246. Numdam | MR 768962

[29] Viennot G., "Heaps of pieces, I: basic definitions and combinatorial lemmas", Proc. "Combinatoire énumérative", Montréal, 1985, Lecture Notes in Mathematics n° 1234, 321-350, Springer Verlag, 1985. MR 927773 | Zbl 0618.05008

[30] Xenakis I., Musiques formelles, Richard-Masse, 1963.