Não existe nenhum algoritmo capaz de resolver todas as instâncias do Problema da Parada, mas - fato pouco percebido - é que, dado um conjunto finito de tais instâncias, podemos nesse caso particular escrever sempre um algoritmo que resolva o problema específico. Não dá é para fazer um algoritmo global; entre outras coisas porque a complexidade computacional cresce sem limite.
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
