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