Next: Le projet Automate Up: Home Page Previous: Autres applications de

Livres et articles de synthèse

J'ai écrit deux articles de synthèse sur la théorie des langages reconnaissables [26,62] et plus récemment six autres articles de synthèse. Deux articles sur les liens entre les automates finis, la logique et les semigroupes [97,81], un sur les automates finis et les variétés de semigroupes finis [88], un sur des développements récents en théorie des semigroupes [89], un autre (avec D. Perrin) sur l'utilisation des semigroupes dans l'étude des mots infinis [87], un sur les semi-anneaux dits ``tropicaux'' [92] et le dernier sur les différentes facettes d'un résultat profond de théorie des semigroupes, qui caractérise le semigroupe des parties d'un groupe fini [91]. J'ai écrit également un chapitre du futur ``Handbook of Language Theory'' [99].

J'ai écrit le troisième chapitre de l'ouvrage collectif Combinatorics on words de M. Lothaire [22] sur le théorème de Van der Waerden. Le livre Variétés de langages formels [34] paru en 1984 chez Masson, a été traduit en 1986 en anglais [47]. J'ai édité (dans la série des Lecture Notes) les actes de l'Ecole de Printemps que j'avais organisée sur les automates finis. Les deux tomes [64,65] écrits en collaboration avec J. Berstel et M. Pocchiola regroupent les énoncés, les solutions et les programmes en PASCAL relatifs aux problèmes que nous avons posé à l'oral du concours d'entrée de l'école normale supérieure, épreuve Mathématiques et Informatique. Enfin je prépare actuellement avec D. Perrin un livre sur les mots infinis.