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

1 byte adicionado ,  14h28min de 18 de abril de 2015
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 (Correção de ortográfia)
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")
Na [[teoria da computabilidade]] o [[experimento mental]] do '''problema da parada''' é um [[problema de decisão]] que pode ser declarado informalmente da seguinte forma:
 
:''DadoDadas uma descrição de um programa e uma entrada finita, decida se o programa termina de rodar ou rodará indefinidamente, dada essa entrada.''
 
[[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]].
13

edições