Back مسألة توقف Arabic Стоп-проблем Bulgarian Problema de la parada Catalan Problém zastavení Czech Halting-problemet Danish Halteproblem German Πρόβλημα τερματισμού Greek Halting problem English Problemo de halto Esperanto Problema de la parada Spanish
 | Este artigo ou secção contém uma lista de referências no fim do texto, mas as suas fontes não são claras porque não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. (Outubro de 2022) |
Na teoria da computabilidade o experimento mental do problema da parada é um problema de decisão que pode ser declarado informalmente da seguinte forma:
- ''Dadas uma descrição de um programa e uma entrada finita, decida se o programa termina de rodar ou rodará indefinidamente.''
Alan Turing provou em 1936 que um algoritmo genérico para resolver o problema da parada para todos pares programa-entrada possíveis não pode existir. Dizemos que o problema da parada é indecidível nas Máquinas de Turing.