Suche Home Einstellungen Anmelden Hilfe  

3.2.1 Nicht-deterministische Endliche Automaten (NEA)

Ü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 epsilon-Ü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.

Deterministische Endliche Automaten 1   2   3   4   5 Sprache

Benutzer: Gast • Besitzer: matthias • Zuletzt geändert am: