Es más común encontrar en los libros de texto la demostración anterior en términos de máquinas de Turing como sigue: