MPRI, Cours 20-2: Fondations mathématiques de la théorie des automates

Responsable : Jean-Éric Pin (Directeur de recherches CNRS, LIAFA)

Enseignants

REDBALL Olivier Carton (Professeur à Paris 7, LIAFA),
REDBALL Jean-Éric Pin (Directeur de recherches CNRS, LIAFA),


Documents de référence
REDBALL Mathematical Foundations of Automata Theory (Support du cours, version du 30 novembre 2016).
REDBALL Finite semigroups and recognizable languages: an introduction, in NATO Advanced Study Institute Semigroups, Formal Languages and Groups, J. Fountain (éd.), pp. 1--32, Kluwer academic publishers, 1995. Abstract
REDBALL Profinite methods in automata theory, in 26th International Symposium on Theoretical Aspects of Computer Science (STACS 2009), Susanne Albers and Jean-Yves Marion, eds. Internationales Begegnungs- Und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Dagstuhl, Germany, 2009, 31-50. Abstract
REDBALL Logic, Semigroups and Automata on Words, Annals of Mathematics and Artificial Intelligence 16 (1996), 343--384. Abstract
REDBALL Syntactic semigroups, Chap. 10 in Handbook of formal languages, Vol. I, G. Rozenberg et A. Salomaa (éd.), Springer Verlag, 1997, 679--746. Abstract
REDBALL Automates Réversibles : Combinatoire, Algèbre et Topologie. Leçons de mathématiques d'aujourd'hui, édité par E. Charpentier, Cassini, 2010. Résumé

Exposés de référence
REDBALL Profinite methods in automata theory
REDBALL Automates réversibles: combinatoire, algèbre et topologie
REDBALL New mathematical trends in automata theory
REDBALL Variétés
REDBALL Langages reconnaissables et commutations totales et partielles
REDBALL A tutorial on sequential functions
REDBALL Petit cours sur les fonctions séquentielles
REDBALL Dualité et théorie équationnelle des langages
REDBALL A Mahler's theorem for functions from words to integers
REDBALL The kernel of a monoid morphism (full page version) (6 slides/page Version)


Exercices faciles
Feuille 1
Feuille 2
Feuille 3

Problèmes
Partiel du 14 novembre 2006.
Examen du 6 février 2007.
Partiel du 20 novembre 2007.
Examen du 12 février 2008.
Partiel du 18 novembre 2008.
Examen du 3 février 2008.
Partiel du 10 novembre 2009.
Examen du 2 février 2010.
Partiel du 1er décembre 2010.
Examen du 9 mars 2011.
Partiel du 30 novembre 2011.
Examen du 7 mars 2012.
Partiel du 6 décembre 2012.
Examen du 14 mars 2013.
Partiel du 2 décembre 2013.
Examen du 3 mars 2014.
Partiel du 1er décembre 2014.
Examen du 2 mars 2015.
Partiel du 23 novembre 2015.
Examen du 7 mars 2016.
Examen du 21 novembre 2016.