Entonces,

máquinas de Turing,