Problema da parada
Sign in to saveproblem of determining whether a given program will finish running or continue forever
Wikidata facts
- Instance of
- computational problem
Show 2 more facts
- facet of
- computability theory
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0
Article · Português
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áquinas de Turing.
Abstract from DBpedia / Wikipedia · CC BY-SA