| Übergangsfunktion
Uneindeutige Situation während der Analyse
|
|
Nichtdeterminismus bedeutet, das der Übergang von einem Zustand zum nächsten nicht eindeutig bestimmt ist.
DEA und NEA unterscheiden sich nur bei der Definition der Übergangsfunktion.
Diese ist so definiert, dass einem Paar (q,z) eine Menge von Folgezuständen {q1, q2, ... } zugeordnet ist.
Sehr oft sind  -Übergänge Ursache für den Nichtdeterminismus des Automaten.
Es gibt jedoch ein Verfahren, mit dem ein NEA in einen DEA umgewandelt werden kann (s. 3.1.1).
Die beiden Automatentypen akzeptieren die gleiche Sprachklasse.
|
1
2
3
4
5
Sprache
