Structure et méthode algébriques en informatique musicale

Le traitement par ordinateur de sequences musicales est etudie algebriquement. Un modele mathematique formalise les deux relations de base entre elements d'un texte musical : relation de succession, et relation de simultaneite. Il consiste a definir dans le monoide libre de la theorie des langages formels muni de sa concatenation, une nouvelle operation de superposition de sequences musicales. Des resultats de reconnaissabilite par automates finis sont presentes. La structure obtenue permet de decrire des phenomenes musicaux et des methodes de traitement automatique de sequences musicales, parmi lesquels : un algorithme de contrepoint automatique, une fonction de notation musicale assistee par ordinateur, les regles combinatoires de serialisme, les regularites et symetries de formules musicales ornementales, des calculs de cribles musicaux