Approfondir l'étude de la théorie des automates et des langages formels. Étudier les relations existant entre la théorie des automates et d'autres domaines de l'informatique.
Théorie algébrique des langages et des automates. Langages formels, automates, semigroupe syntactique, variétés de langages et de semigroupes, structure des semigroupes, relations de Green, langages sans étoiles, semigroupes apériodiques. Logique, jeux de Ehrenfeucht-Fraïssé, complexité des circuits, langages hors-contextes et groupoïdes finis, langages ouverts et quasigroupes, etc...
Formule pédagogique : Cours Magistral
Ce cours n'est dans aucun programme ouvert aux admissions.