sense, that is to say, sequences of elements taken from a set, and its natural framework is the free monoid over an alphabet. It brings together various domains that have grown separately within several branches of mathematics (Berstel and Perrin 2007). The emergence of this field is related to a group of former students of a historical figure in the development of computer science, Marcel-Paul Schützenberger (1920-1996). Following the tradition of Nicolas Bourbaki, the name Lothaire was chosen as a collective nom de plume for researchers writing the different chapters of a series of books (Lothaire 1990, 1997, 2002, 2005). The third author of the present survey is a contributor to Lothaire's books. At the end of the 1970s, automata, formal languages, and grammars had been intensively used in musicology and computer music for at least two decades. As early as 1961 and 1962, composers Iannis Xenakis (1922-2001) and Pierre Barbaud (1911-1990) presented their ideas on the subject during seminars at the laboratory which later became the CAMS at EHESS (Centre d'Analyse et de Mathématique Sociales) (see Chemillier 2011). At that time, the influence of ideas from combinatorics on words in music was almost completely non-existent. In his 1979 paper "Grammars as representations for music," Curtis Roads gave an important survey of the use of formal languages to represent music structures (Roads 1979), whereas there were very few articles on the combinatorics on words side. One can nevertheless mention a paper by Antonio Bertoni and others dealing with repetitions in a musical sequence (Bertoni et al. 1978). Although not in touch with the Lothaire group, their paper was one of the first attempts to study music from a combinatorics on words perspective. At the beginning of the 1980s, Jean-Paul Allouche, who is another contributor to Lothaire's books, was teaching at the Ecole Normale Supérieure de Fontenay-aux-Roses. The second author of this survey was a student there and was looking for a PhD subject mixing computer science and music. Allouche sent him to the LITP in Paris (Laboratoire d'Informatique Théorique et de Programmation), the laboratory with which Schützenberger and other Lothaire members were affiliated. He began a thesis under the direction of Dominique Perrin. His basic idea was to use words for representing the succession of events in a musical sequence, to add an operation of superimposition for representing simultaneity, and to study the resulting algebraic structure that was coined solfege (Chemillier 1990, 2003). In the conclusion of his 1988 joint paper with the late Dan Timis (1954-2009) at the ICMC Conference in Cologne, they wrote: "Further developments will include algorithms for complex pattern recognition, rewriting rules, combinatorics on words, and code theory" (Chemillier and Timis 1988). Another great figure of the LITP, the