Folien

2.74 Beweisskizze (Schritt 3)
◮ Gegeben NEA N = (ZN, z0N, X , g, FN), der schon obige
„Normalisierungsschritte“ durchlaufen hat.
◮ Alle Übergänge sind für einzelne Symbole.
◮ Konstruiere äquivalenten DEA M = (ZM, z0M, X , f , FM)
wie folgt:
◮ ZM = 2ZN , also die Teilmengen S ⊆ ZN von Zuständen von N.
◮ z0M = {z0N}.
◮ FM = {S ⊂ ZN | S ∩ FN = ∅}.
◮ f : ZM × X → ZM mit f (S, x) =
g(z, x).
z∈S
◮ Es bliebe im wesentlichen zu zeigen, dass für alle S ⊆ ZN und
alle w ∈ X ∗ gilt: g ∗ (S, w) = f ∗ (S, w).
◮ Das ist wirklich nur noch langweilig, also . . .
Nichtdeterministische endliche Automaten 96/124