Titre : | Introduction à la calculabilité |
Type de document : | texte imprimé |
Auteurs : | Pierre WOLPER |
Editeur : | InterEditions |
Année de publication : | 1991 |
Collection : | IIA |
Importance : | 268 p. |
ISBN/ISSN/EAN : | 978-2-7296-0372-4 |
Note générale : | Table des matières
Préface
Exercices
Bibliographie
Index |
Catégories : | Automates mathématiques, Théorie des Calcul formel Fonctions calculables Langages formels
|
Index. décimale : | 005.13 Langages de programmation |
Résumé : | Les automates finis
Les grammaires régulières
Automates à pile et langage hors-contexte
Les machines de Turing
Les fonctions récursives
La non-calculabilité
La complexité |