Máquina de Turing y teoría de la computabilidad: El experimento mental de Alan Turing y el problema de la parada