Nichtdeterministische Endliche Automaten sind genau wie Deterministische nur mit dem Unterschied, dass sie Verzweigungen erlauben an denen zwei oder mehr nächste Zustände möglich sind.
Deterministisch
Nichtdeterministisch