Fondamentaux de la théorie des automates - De l’intuition aux méthodes formelles en 400 exercices corrigés - Classes préparatoires, Licence, Master, Agrégation

La 4e de couv. indique : "Cet ouvrage est dédié à la partie de la théorie des langages formels qui concerne les automates finis. Il regroupe 401 exercices ou problèmes avec leurs corrections détaillées, ainsi que des rappels de cours étoffés. L'accent est mis sur la compréhension des méthodes de résolution et leur adéquation avec la nature des objets étudiés. À cette fin, des techniques de résolution intuitives accompagnent systématiquement la mise en œuvre d'algorithmes rigoureusement prouvés. Cet ouvrage s'adresse prioritairement aux étudiants et aux enseignants de licence et de master universitaires d'informatique, aux élèves des classes préparatoires et aux agrégatifs. Il est organisé, selon un découpage classique du domaine, en sept chapitres (Notions de mots et de langage, Automates finis et langage reconnus, Langages reconnaissables, Déterminisme, Minimalité, Langages non reconnaissables, Compléménts) accompagnés d'un huitième chapitre regroupant plusieurs problèmes, et un index." Couverture Page de titre Introduction Chapitre 1 Notions de mots et de langages Chapitre 2 Automates finis et langages reconnus Chapitre 3 Langages reconnaissables Chapitre 4 Déterminisme Chapitre 5 Minimalité Chapitre 6 Langages non reconnaissables Chapitre 7 Complément Chapitre 8 Problèmes Bibliographie Index