Handout - Institut für Theoretische Informatik - Technische ...

Endliche Automaten
Determinismus vs. Nichtdeterminismus
Beispiel
Die Sprache aller Binärwörter mit Präfix 010 und Postfix 1 , formal
L = { w ∈ {0, 1} ∗ : ∃u ∈ {0, 1} ∗ . w = 010u1 } , wird von folgendem
weniger übersichtlichen übersichtlichen aber nicht vDEA vollständigen erkannt: DEA erkannt:
0 start q 0 q1
1
q 2
0
q 3
1
q 4
0
1
⊥
0
1
0, 1
0 1
informelle Terminologie
Ein Zustand q eines vDEA, der δ(a)(q) = q für alle a ∈ X erfüllt und
kein Endzustand ist, wird gelegentlich Papierkorb-Zustand , oder schwarzes Loch ,
oder Hotel California Zustand (HCZ) genannt.
Jürgen Koslowski (TU-BS) Theoretische Informatik 1 WS 2010/2011 40 / 191