Folien

2.69 Beweisskizze
◮ Sei G = (N, T , X0, P) eine T3G, d. h.
jede Produktion ist von einer der Formen X → w oder
X → wY
◮ Konstruiere NEA N = (Z, z0, X , g, F ) wie folgt:
◮ Z = {zX | X ∈ N} ∪ {zf }; dabei ist zf ein „neuer“ Zustand;
◮ z0 = zX0 ;
◮ X = T ;
◮ F = {zf };
◮ g(zX , w) = {zY | X → wY ∈ P} ∪ {zf | X → w ∈ P}.
Nichtdeterministische endliche Automaten 89/124