Rayon Technologies et industries
Automates à états finis et langages réguliers : rappels des notions essentielles et plus de 170 exercices corrigés

Fiche technique

Format : Broché
Nb de pages : 320 pages
Poids : 540 g
Dimensions : 17cm X 24cm
ISBN : 978-2-10-080846-5
EAN : 9782100808465

Automates à états finis et langages réguliers

rappels des notions essentielles et plus de 170 exercices corrigés


Collection(s) | Info sup
Paru le
Broché 320 pages

Quatrième de couverture

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 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.

Biographie

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.

Avis des lecteurs

Du même auteur : Jean-Claude Fernandez