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

Par : Yliès Falcone, Jean-Claude Fernandez
  • Réservation en ligne avec paiement en magasin :
    • Indisponible pour réserver et payer en magasin
  • Nombre de pages320
  • PrésentationBroché
  • FormatGrand Format
  • Poids0.54 kg
  • Dimensions17,1 cm × 24,0 cm × 1,7 cm
  • ISBN978-2-10-080846-5
  • EAN9782100808465
  • Date de parution16/07/2020
  • CollectionInfo Sup
  • ÉditeurDunod

Résumé

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.
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.
Maître de conférences et chercheur au Laboratoire d'informatique de Grenoble / INRIA Rhône Alpes. Il enseigne la théorie des langages et des automates, la compilation et la programmation. Ses recherches portent sur la vérification des systèmes à l'exécution et le génie logiciel rigoureux.