Titre :	Introduction à la calculabilité et exercices
Type de document :	texte imprime
Auteurs :	Pierre Wolper
Mention d'édition :	3è éd.
Editeur :	Paris : Dunod
Année de publication :	2006
Collection :	Science Sup
Importance :	224p.
Présentation :	ill.
Format :	24 cm.
ISBN/ISSN/EAN :	978-2-10-049981-6
Note générale :	Bibliogr. Index
Langues :	Français
Mots-clés :	Calculabilité  Automates  Machines  Non Calculabilité  Langage formels
Résumé :	La calculabilité est la discipline qui étudie ce qu'il est possible ou non de résoudre grâce à l'outil informatique quels que soient le type ou les performances de la machine utilisée. Il s'agit d'informatique théorique, directement issue de la logique mathématique, et l'ouvrage aborde en premier lieu les langages formels, les automates et les grammaires, puis introduit la notion de calculabilité par le biais des machines de Turing et des fonctions récursives. En dernier lieu sont étudiés les notions de complexité et les problèmes NP-complets.
Note de contenu :	Les automates finis. Les grammaires régulières. Automates à pile et langages hors-contexte. Les machines de turing. Les fonctions récursives. La non-calculabilité. La complexité
Permalink :	./index.php?lvl=notice_display&id=13553

Introduction à la calculabilité et exercices [texte imprime] / Pierre Wolper  . -  3è éd. . - Paris : Dunod, 2006 . - 224p. : ill. ; 24 cm.. - (Science Sup) .
ISBN : 978-2-10-049981-6
Bibliogr. Index
Langues : Français

Mots-clés :	Calculabilité  Automates  Machines  Non Calculabilité  Langage formels
Résumé :	La calculabilité est la discipline qui étudie ce qu'il est possible ou non de résoudre grâce à l'outil informatique quels que soient le type ou les performances de la machine utilisée. Il s'agit d'informatique théorique, directement issue de la logique mathématique, et l'ouvrage aborde en premier lieu les langages formels, les automates et les grammaires, puis introduit la notion de calculabilité par le biais des machines de Turing et des fonctions récursives. En dernier lieu sont étudiés les notions de complexité et les problèmes NP-complets.
Note de contenu :	Les automates finis. Les grammaires régulières. Automates à pile et langages hors-contexte. Les machines de turing. Les fonctions récursives. La non-calculabilité. La complexité
Permalink :	./index.php?lvl=notice_display&id=13553