Séance de cours

Machines de turing : Décidabilité et théorie de la récursion

Description

Cette séance de cours couvre le concept de décidabilité dans le contexte des machines Turing, explorant la thèse Eglise-Turing, l'indécidabilité, les langages récursifs, et le contenu de la bande à la fin du calcul.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.