Folien

2.50 Beweisskizze
Es sei M = (Z, z0, X , f , F ) ein endlicher Akzeptor.
Definiere G = (N, T , S, P) wie folgt:
◮ N = {Xz | z ∈ Z}
◮ T = X
◮ S = Xz0
◮ P = {Xz → xXz ′ | f (z, x) = z′ } ∪ {Xz → ε | z ∈ F }. M.a.W.:
◮ Wenn M bei Eingabe x von Zustand z in Zustand z ′ übergeht,
◮ dann und nur dann
◮ erlaubt die Grammatik die Erzeugung von x beim Übergang
vom Nichtterminalsymbol Xz zum Nichtterminalsymbol Xz ′
Man müsste nun beweisen, dass L(G) = L(M) ist,
Typ-3-Grammatiken 73/124