Examens corriges

Corrections TD 03 ? Réductions

Écrire chacune des réductions (Turing many-one) suivantes, et indiquer ce que l'on peut en déduire quant à la récursivité de ces langages.





Télécharger Corrections TD 03 ? Réductions pdf