Correctitud

En teoria de la computació, la correcció d'un algoritme, també cridada correctitud (com a adaptació de la paraula anglesa correctness), correspon a una propietat que distinguix a un algoritme d'un procediment efectiu.

Un algoritme és correcte si:

1. Resol el problema computacional per al qual va ser dissenyat.
2. Per a cada entrada, produïx l'eixida desijada.
3. Termina en un temps d'eixecució finito.

Si qualsevol d'estos tres punts no es complix, llavors estem parlant d'un algoritme incorrecte, que per a efectes pràctics, carix d'utilitat, al no ser més que un procediment efectiu, és dir, una seqüència ordenada i determinista de passos.

Esta paraula no existix