LEXIKALISCHE ANALYSE

NichtdeterminisNsche endliche Automaten
35
o
Ein nichtdeterminisNscher endlicher Automat (NEA oder NFA) ist ein
o
Tupel M = (A, MOVE, S, s 0 , F), wobei
• A ein endliches Alphabet von Eingabezeichen ist,
• S eine endliche Menge von Zuständen (state) ist,
• s 0 ∈ S der Anfangszustand ist,
• F ⊆ S die Menge der Endzustände (final states) ist, und
• MOVE die ÜbergangsrelaKon, die (Zustands, Symbol)-­‐Paare mit einer Menge
von Zuständen verbindet, ist.
MOVE : (state, symbol) à {state} bzw. MOVE : S x (A ∪ {ε} )à {S}