Autour de divers problèmes de décision sur les automates

Ines Klimann
Autour de divers problèmes de
décision sur les automates
Mémoire d’habilitation à diriger des recherches
soutenue le 17 janvier 2014
devant le jury composé de
Laurent Bartholdi, rapporteur
Frédérique Bassino, rapporteuse
Christian Choffrut, rapporteur
Jean Mairesse, examinateur
Nicolas Ollinger, examinateur
Géraud Sénizergues, examinateur
Andrzej Zuk, examinateur
Université Paris Diderot, Sorbonne Paris Cité 2014

Remerciements
Je voudrais commencer par remercier Laurent Bartholdi, Frédérique Bassino et Christian Choffrut qui ont
accepté de rapporter ce mémoire. Plus particulièrement Christian pour le temps qu’il a pris à mes côtés
à pointer les imperfections et lacunes dans ce que j’avais écrit : la clarté et la fluidité du texte en ont été
bien améliorées.
Je voudrais également remercier tous les membres de mon jury – les rapporteurs sus-cités, ainsi que Jean
Mairesse, Nicolas Ollinger, Géraud Sénizergues et Andrzej Zuk – d’avoir accepté de participer à mon jury.
Jean est bien plus qu’un membre de jury en fait, puisque sans lui ce mémoire n’existerait sûrement pas ou,
en tout cas, aurait clairement un autre contenu. En effet c’est lui qui m’a poussée à continuer la recherche,
noyée que j’étais (avec bonheur certes) au milieu de mes cours juste après mon recrutement, puis à la
reprendre après mes retours de congés maternité, et c’est enfin lui qui m’a suggéré de travailler sur ce sujet
passionnant que sont les groupes et semi-groupes d’automate. Qu’il en soit ici chaleureusement remercié.
Mon travail et les résultats qui y sont attachés n’auraient évidemment pas été les mêmes sans mes co-
auteurs, mais aussi sans ceux avec qui nous avons essayé, sans toujours y parvenir, ni sans ceux avec
qui nous avons scientifiquement échangé au détour d’un couloir ou devant leurs cafés (parfois même
devant un tableau) : merci à Ali, Guillaume, Sylvain, Jean (encore), Matthieu, Christophe, Pierre-Cyrille,
Cyril, Olivier, Charles, Jean, Laure, Luc, Luc, Olivier et Thomas.
La vie quotidienne serait en noir et blanc sans la couleur qu’y apportent les cours et ceux avec qui j’ai
pris (et prends encore) plaisir à enseigner : Anne, Arnaud, Christophe, Dominique, Jean-Marie, François,
Hugues, Matthieu, Mihaela, Vincent, Yann. Et Jean-Baptiste avec qui je ne crois pas avoir enseigné, mais
que j’ai embêté assez souvent avec des questions de cours pour le rajouter ici.
Merci aux autres qui peuplent les couloirs et s’arrêtent pour un mot ou pour une visite à la cantine :
Carole, Enrica, Isabelle, Matthieu, Michel, Peter, Vlady, Wolfgang.
Merci à l’équipe administrative et technique du liafa, de l’ufr et du département, qui évite que les petits
problèmes ne deviennent plus gros : Houy, Laïfa, Nathalie et Noëlle au 4ème, Jean-Michel, Laurent, Marie-
Claude, Mickael, Patricia, Raja et Sonia au 3ème ; Yannick et Christine loin là-bas.
Je ne peux pas terminer sans remercier ma famille pour sa patience et son soutien.
3

à Pierrot, Margot et Eugène
5