Máquina de Turing
El problema de la parada o problema de la detención para máquinas de Turing consiste en lo siguiente: dada una Máquina de Turing formula_1 y una palabra formula_2, determinar si formula_1 terminará en un número finito de pasos cuando es ejecutada usando formula_2 como dato de entrada.