Por otra parte, Turing redujo este problema al problema de la parada para las máquinas de Turing.