TD de Logique 9 (Fonctions récursives) - math.ens.psl.eu

machine de turing a nb n