Folien
Folien
Folien
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
2.53 Beweisskizze<br />
O. B. d. A. seien N1 und N2 disjunkt.<br />
a) Man wählt ein „neues“ Nichtterminalsymbol XV und setzt<br />
GV = (NV , TV , XV , PV ) mit NV = N1 ∪ N2 ∪ {XV },<br />
TV = T1 ∪ T2, und PV = P1 ∪ P2 ∪ {X → X01|X02}.<br />
b) Man setzt GK = (NK , TK , X01, PK ) mit NK = N1 ∪ N2,<br />
TK = T1 ∪ T2, und<br />
PK = ((P1 ∪ P2) {X → w | w ∈ T ∗ 1 ∧ X → w ∈ P1})<br />
∧ X → w ∈ P1}.<br />
∪{X → wX02 | w ∈ T ∗ 1<br />
c) GS kann man nach einer ähnlichen Idee konstruieren wir GK :<br />
Übungsaufgabe.<br />
Beachte: Die Disjunktheit von N1 und N2 ist wichtig!<br />
Typ-3-Grammatiken 75/124
Change language