Livre calculabilité
Bonjour,
connaîtriez-vous un livre traitant des fonctions récursives et des machines de Turing dans le détail. J'ai déjà le tome 2 du Cori Lascar et j'ai beaucoup de mal à construire ne serait-ce qu'une machine de Turing qui calcule $\lambda x.x^{2}$ (un des exercices). Par ailleurs, dans les démonstrations, il est souvent demandé au lecteur d'établir par lui même la table de la machine. J'en suis incapable. Par avance merci.
connaîtriez-vous un livre traitant des fonctions récursives et des machines de Turing dans le détail. J'ai déjà le tome 2 du Cori Lascar et j'ai beaucoup de mal à construire ne serait-ce qu'une machine de Turing qui calcule $\lambda x.x^{2}$ (un des exercices). Par ailleurs, dans les démonstrations, il est souvent demandé au lecteur d'établir par lui même la table de la machine. J'en suis incapable. Par avance merci.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Merci pour vos conseils.