Was ist Partielle und Totale Korrektheit?
Kann mir bitte jemand in verständlichen Worten erklären, was Partielle Korrektheit und Totale Korrektheit ist? Ich begreife es einfach nicht...
Diese Beschreibung bringt mich nicht weiter:
Definition Partielle Korrektheit: Ein Algorithmus A ist partiell korrekt, wenn bei allen zulässigen Eingaben X die festgelegte Beziehung zwischen X und der Ausgabe erfüllt ist, falls A nach einem Lauf auf X anhält.
Definition Totale Korrektheit: Ein Algorithmus A ist total korrekt, wenn A partiell korrekt ist und für jede zulässige Eingabe X terminiert.
Bitte um Hilfe :)