Nichtdeterministischer Automat

Im Unterschied zu deterministischen Automaten können nichtdeterministische Automaten bei einem Eingabezeichen willkürlich in verschiedene Folgezustände übergehen. Es kann außerdem auch noch spontane Zustandsübergänge geben, welche ohne Eingabezeichen stattfinden (ε-Übergänge).

Ursprung
lat. determinare - bestimmen