Definition: Nichtdeterminismus
Algorithmus A heißt nichtdeterministisch, wenn A das
Sprachelement OR (in beliebiger Anzahl) enthält:
OR (Anw1, Anw2) bedeutet, daß entweder die Anweisung Anw1 oder die Anweisung Anw2 ausgeführt wird.
Die Auswahl zwischen den beiden Anweisungen ist willkürlich.