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

2 bytes adicionados ,  23h11min de 31 de agosto de 2007
m (Bot: Modificando: nl:Stopprobleem)
[[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áquina de Turing|Máquinas de Turing]].
 
==Enunciado FormalInformal==
 
Um [[problema de decisão]] é um conjunto de números naturais; o "problema" é determinar se um número em particular pertence ao conjunto.
Utilizador anónimo