Discusión:Algoritmo Needleman-Wunsch

De Wikipedia, la enciclopedia libre
Ir a la navegación Ir a la búsqueda

¿Como puede decir que es un algoritmo que siempre pare? ¿Nos pasamos las bases de la teoría de la computación por el forro? http://es.wikipedia.org/wiki/Problema_de_la_parada

El problema de la parada se refiere al problema de si existe un programa que sea capaz de decidir si un programa va a terminar o no, sea cual sea este programa. En el artículo que adjuntas dice claramente:
"... No se niega que exista la prueba para programas concretos. De hecho, la construcción de pruebas para programas concretos es un paso obligatorio para demostrar su correctitud"
En el caso del algoritmo Needleman-Wunsch existe dicha prueba, esto no quiere decir que haya una contradicción con los resultados del problema de la parada.
--Drankezz (discusión) 06:44 20 abr 2014 (UTC)