Diferenças entre edições de "Problema da parada"

O problema da parada é um problema de decisão sobre as propriedades de programas de computadores em um determinado modelo [[Turing-completo]] de computação, por exemplo todos os programas que podem ser escritos em uma [[linguagem de programação]] que é geral o suficiente para ser equivalente a uma máquina de Turing. O problema é determinar para uma dada entrada se o programa irá parar com ela. Nesta área de trabalho abstrata não há limitações de memória ou tempo necessário para a execução de um programa, pois poderão ser necessários tempo e espaço arbitrários para o programa parar. A questão é se o programa simplesmente poderá parar com uma certa entrada.