Erklärung

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

\includegraphics[scale=0.8]{FSA.eps}

Nichtdeterministisch

\includegraphics[scale=0.8]{DFA.eps}