All exercise sheets are in French. If you are looking for translations, please ask.
Vous pouvez trouver ici les TD du cours de calculabilité donné en première année à l'ENS Paris-Saclay.
TD1 : Machines de Turing.
TD2 : Machine de Turing à plusieurs rubans, langages récursivement énumérables, langages récursifs.
TD3 : Réductions, (in)décidabilité.
TD4 : Réductions, Théorème de Rice.
TD5 : PCP, pavages, claviers.
TD6 : Fonctions récursives primitives.
Bonus :
Il n'est pas exigé ni d'utilise ni de maîtriser ces simulateurs.
Vous pouvez trouver les sources de ces feuilles ici.