Calculabilité - Ecole polytechnique

machines de Turing : dans ce contexte, on appelle cela des machines de Turing univer- ... Définition 8.1 (Codage d'une machine de Turing) Soit M une machine de Turing ...... Le livre [Sipser, 1997] est un excellent ouvrage très pédagogue.


Un extrait du document