examen
TD : Théorème de Rice - BigBozoidTD : Théorème de Rice - BigBozoid
Exercice 1 (corrigé ci-dessous). Voici une ... d'indécidabilité, sur le modèle de la
preuve du théorème de Rice. ... Chapitre 3 : Récursion et théorème de Rice ...