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

151 bytes adicionados ,  00h15min de 19 de março de 2011
fonte de meu cérebro
m (Bot: Modificando: fa:مسئله توقف)
(fonte de meu cérebro)
Enquanto a prova de Turing mostrou que não pode existir algoritmo ou método genérico para determinar se um algoritmo para, instâncias individuais de um problema podem muito bem ser suscetíveis a ataques. Dado um algoritmo específico, um pode geralmente mostrar que ele deve parar para qualquer entrada, e de fato cientistas da computação geralmente fazem isso como parte de uma prova exata. Mas cada prova tem que ser desenvolvida especificamente para o algoritmo em mãos; não existe modo mecânico ou genérico para determinar se algoritmos em [[Máquina de Turing|Máquinas de Turing]] param. Entretanto, existem algumas [[heurística]]s que podem ser usadas para tentar-se construir uma prova, que freqüentemente dão seguimento a programas típicos.
 
A introdução de Turing do modelo de máquina que posteriormente ficou conhecido como Máquinas de Turing, introduzido no artigo, provou-se um modelo muito conveniente para a [[Teoria da Computação]]. O cara disse que pode abrir e não abrir o livro ao mesmo tempo, então como você o faz? Abre o livro pela metade e ganha o prémio nobel de física.
 
 
Utilizador anónimo