Voraussetzungen für seine Anwendung sind, daß die rechte Seite b nichtnegativ ist und A eine Einheitsbasis enthält. (Quelle: Schneider: Lexikon Informatik)
Ein Beispiel für eine nichtdeterministische Konstruktion ist die folgende bewachte Anweisung: if x 0 print ("nichtnegativ) x 0 print ("nichtpositiv) fi. (Quelle: Schneider: Lexikon Informatik)