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

21 bytes adicionados ,  15h17min de 19 de janeiro de 2020
sem resumo de edição
m (correção de texto extra em parâmetro página e edição)
Etiquetas: Editor Visual Inserção do elemento "nowiki", possivelmente errônea
Na [[teoria da computabilidade]] o [[experimento mental]] do '''problema da parada''' é um [[problema de decisão]] que pode ser declarado informalmente da seguinte forma:
 
:''<nowiki>''Dadas uma descrição de um programa e uma entrada finita, decida se o programa termina de rodar ou rodará indefinidamente.''</nowiki>''
 
[[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]].