Introduction
La calculabilité consiste en l'étude de ce qu'il est possible ou non de résoudre grâce à l'outil informatique. Il s'agit d'informatique théorique, directement issue de la logique mathématique, et qui s'enseigne en 2e cycle. Cette deuxième édition est l'occasion d'étendre le dernier chapitre, traitant de complexité, et d'introduire de nouveaux exerc
Définition
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 gram
Propriétés
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é.
See full list on dunod.com
