Introduction à la calculabilité : cours et exercices corrigés / Pierre, Wolper [ Livre]

Auteur principal: Wolper, PierreLangue: 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: F 4 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
F 4 WOL (Browse shelf) Exclu du prêt F 4 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é

Powered by Koha