Automates à états finis et langages réguliers
Rappels des notions essentielles et plus de 170 exercices corrigés
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 [...]
[lire le résumé du livre]
Auteur : Yliès FALCONE , Jean-Claude FERNANDEZ
Editeur : Dunod
Collection : InfoSup
Date parution : 07/2020CB Google/Apple Pay, Chèque, Virement
Quel est le sujet du livre "Automates à états finis et langages réguliers"
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.
Yliès FALCONE : 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.
Jean-Claude FERNANDEZ : 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.
Sommaire et contenu du livre "Automates à états finis et langages réguliers - Rappels des notions essentielles et plus de 170 exercices corrigé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é.