Problema da parada: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m traduzindo nome/parâmetro, ajustes gerais nas citações, outros ajustes usando script |
→Introdução: "Para" não leva mais acento |
||
Linha 17:
:<tt>imprimir "Hello World!"</tt>
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 para ou não com esta entrada.
| |||