Problema da parada: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
fonte de meu cérebro |
estava errado |
||
Linha 35:
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]]
| |||