Ce manuel d’étude de Dexter C. Kozen offre aux étudiants de premier cycle une introduction claire aux modèles théoriques fondamentaux de la calculabilité. Avec une approche fondée sur une progression systématique, le livre traite des automates finis, des automates à pile et des langages algébriques. Ensuite, le lecteur est initié aux machines de Turing, à la calculabilité effective, à la décidabilité et aux théorèmes d’incomplétude de Gödel.
Description
Ce livre est destiné aux étudiants de premier cycle possédant des bases en mathématiques discrètes et propose une introduction aux principaux modèles de la théorie de la computation. En plus d’explications détaillées, il contient de nombreux exercices allant de simples à difficiles. Le cours commence par les automates finis et s’étend à des modèles plus complexes avec les automates à pile. Dans les chapitres ultérieurs, on aborde les machines de Turing et des concepts théoriques avancés.
Informations promotionnelles
Springer Book Archives
Spécifications du produit
- Auteur : Dexter C. Kozen
- Série : Undergraduate Texts in Computer Science
- Éditeur : Springer-Verlag New York Inc.
- Date de parution : 1997-04-30
- Nombre de pages : 400
- ISBN : 9780387949079
- Thème : Théorie mathématique de la computation
- BISAC : ORDINATEURS / Théorie des machines