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

1 byte removido ,  00h52min de 19 de outubro de 2016
m (redundance matter)
Pára muito rapidamente.
 
Um programa mais complexo pode ser mais difícil de se analisar. O programa pode rodar por um tempo fixo e se ele não parar, não há um jeito de saber se o programa irá parar eventualmente ou se ele irá continuar rodando para sempre. Turing provou que não há um algoritmo que pode ser aplicado a qualquer programa arbitrário, com uma entrada, para decidir se o programa párapara ou não com esta entrada.
 
==Enunciado Informal==
Utilizador anónimo