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 :)