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

Responsable : Jean-Éric Pin (Directeur de recherches émérite CNRS, IRIF)

Enseignants

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


Comment écrire un article?
REDBALL Transparents, 2021.
REDBALL Transparents (6 par page). 2021.
REDBALL Code of Practice de l'European Mathematical Society.
REDBALL How to write Mathematics (Paul R. Halmos).
REDBALL Conseils aux auteurs de textes mathématiques (Michèle Audin).
REDBALL Writing Mathematical Papers in English (Jerzy Trzeciak).

Documents de référence
REDBALL Mathematical Foundations of Automata Theory (Support du cours, version du 2 décembre 2020).
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.