En teoría de la computación, la corrección de un algoritmo, también llamada correctitud (como adaptación de la palabra inglesa correctness), corresponde a una propiedad que distingue a un algoritmo de un procedimiento efectivo.
Un algoritmo es correcto si:
Si cualquiera de estos tres puntos no se cumple, entonces estamos hablando de un algoritmo incorrecto, que para efectos prácticos, carece de utilidad, al no ser más que un procedimiento efectivo, es decir, una secuencia ordenada y determinista de pasos.
Escribe un comentario o lo que quieras sobre Correctitud (directo, no tienes que registrarte)
Comentarios
(de más nuevos a más antiguos)