Automates à états finis et langages réguliers - Rappels des notions essentielles et plus de 170 exer Rappels des notions essentielles et plus de 170 exercices corrigés Coll. InfoSup

La théorie des langages et des automates est un enseignement  incontournable dans tout cursus d’informatique puisqu’on en  retrouve des applications dans des domaines aussi divers que  la conception des processeurs, la compilation de programmes,  la traduction automatique des langues naturelles, l’intelligence  artificielle, la bio-informatique, la vérification de programmes  embarqués, la cybersécurité…
Cet ouvrage s’adresse aux étudiants de premier cycle universitaire  suivant un cursus incluant l’informatique, qu’ils soient  étudiants en IUT, en licence ou en classes préparatoires aux  grandes écoles.
Chaque chapitre comporte un rappel des notions essentielles  du cours, des exercices simples d’application pour l’appropriation  des notions, et des exercices plus avancés pour la  maîtrise des concepts.
Une solution complète est fournie pour tous les exercices  proposés.

Rappels et notations. Notions préliminaires.  Automates déterministes.  Opérations sur les automates déterministes.  Algorithmes sur les automates déterministes.  Minimisation d’automates déterministes.  Automates non déterministes.  Automates non déterministes avec -transitions.  Expressions régulières.  Théorème de Kleene.  Grammaires.  Grammaires régulières.  Propriété de l’itération.  Démontrer la non-régularité.

Maître de conférences à l’Université Grenoble Alpes. Membre du Laboratoire d'Informatique de Grenoble et d'Inria Grenoble Rhône-Alpes. Il enseigne la théorie des langages et des automates, la compilation et la programmation. Ses travaux de recherche portent sur la vérification des systèmes à l'exécution et le génie logiciel rigoureux.
Ancien professeur à l'Université Grenoble Alpes. Ancien membre du laboratoire Verimag. Il a enseigné les architectures logicielles et matérielles, la théorie des langages et des automates, la sémantique et la compilation. Ses travaux de recherche portaient sur la vérification formelle et la validation de systèmes critiques.