El "problema de la parada" o "problema de la detención" ("halting problem" en inglés) para máquinas de Turing consiste en: dada una MT "M" y una palabra "w", determinar si "M" terminará en un número finito de pasos cuando se ejecuta usando "w" como entrada.