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

19 bytes removidos ,  14h30min de 18 de abril de 2015
m
redundance matter
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)
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, 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