Determiniertheit und Determinismus

Determiniertheit:

Determiniertheit wird auch als globale Eindeutigkeit bezeichnet. Ein determinierter Algorithmus garantiert eine eindeutige Abhängigkeit der Ausgabedaten von den Eingabedaten.

 Determinismus:

Ein Algorithmus ist deterministisch, falls die Wirkung/das Ergebnis jeder einzelnen Anweisung eindeutig ist und an jeder einzelnen Stelle des Ablaufs festliegt, welcher Schritt als nächster auszuführen ist.

Ein deterministischer Algorithmus ist immer auch determiniert. Umgekehrt gilt dies jedoch nicht. Aus diesem Wissen können wird jedoch einen Vorteil ziehen. Wir wissen nun nämlich, dass es nur dann notwendig ist einen Algorithmus auf Determiniertheit zu überprüfen, wenn er nicht deterministisch ist.