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
Langue : Français
Auteurs : Falcone Yliès, Fernandez Jean-Claude
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.
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.
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.
Date de parution : 07-2020
Ouvrage de 320 p.
17x24 cm
Thèmes d’Automates à états finis et langages réguliers -... :
© 2024 LAVOISIER S.A.S.