Résumé
La théorie des langages est une branche fondamentale de l'informatique dont les concepts se retrouvent dans de nombreuses disciplines comme la conception de processeurs, la compilation de logiciels, l'intelligence artificielle...
Cette discipline qui repose sur des concepts mathématiques fait partie des connaissances théoriques indispensables pour toute formation solide en informatique. Elle est enseignée dès la licence dans certains cursus.
Ce manuel est constitué de rappels de cours et de plus de 150 exercices avec leur corrigé détaillé.
Auteur
-
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.
Auteur(s) : Yliès Falcone, Jean-Claude Fernandez
Caractéristiques
Auteur(s) : Yliès Falcone, Jean-Claude Fernandez
Publication : 16 juillet 2020
Support(s) : Livre numérique eBook [PDF]
Protection(s) : DRM (PDF)
Taille(s) : 11,4 Mo (PDF)
EAN13 Livre numérique eBook [PDF] : 9782100814244
EAN13 (papier) : 9782100808465