Introduction à la calculabilité : cours et exercices corrigés / Pierre, Wolper [ Livre]
Langue: Français ; de l'oeuvre originale, Français.Mention d'édition: 2e éd.Publication : Paris : Dunod, 2001Description : IX-209 p. ; 24 cmISBN: 2100048538.Collection: Sciences supClassification: 004.15 Langages formels, automates et calculabilitéRésumé: Sommaire 1. Introduction 2. Les automates finis 3. Les grammaires irrégulières 4. Automates à pile et langages hors-contexte 5. Les machines de turing 6. Les fonctions récursives 7. La non-calculabilité 8. La complexité.Sujet - Nom commun: Informatique -- Mathématiques -- Manuels d'enseignement supérieur | Informatique | Fonctions récursives | Fonctions calculables | Décidabilité (logique mathématique) | Complexité de calcul (informatique) | Calcul formel| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Informatique | 004.15 WOL (Browse shelf) | Exclu du prêt | 004.15 Langages formels, automates et calculabilité | 000065931 |
Sommaire
1. Introduction
2. Les automates finis
3. Les grammaires irrégulières
4. Automates à pile et langages hors-contexte
5. Les machines de turing
6. Les fonctions récursives
7. La non-calculabilité
8. La complexité