Problema da parada: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m a grammatical error of concordance, where "Dada" (lit. "given") is in singular whether it should be in plural to concord with next to terms that "where given" |
m redundance matter |
||
Linha 1:
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áquina de Turing|Máquinas de Turing]].
| |||