Discusión:Algoritmo Needleman-Wunsch
Apariencia
¿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)