Automates à états finis et langages réguliers
Présentation du livre
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.
Sommaire de l'ouvrage
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é.
