Kontextfreie Sprachen Kontextfreie Grammatiken Definition 13.1 ...

Elimination von !-Regeln – Beweis von Satz 3.19 (Forts.)
Beispiel
S 0 # S S # ASA | aB A# B | S B# b | "
Elimination der "-Regel B# "
Einführung neuer Regeln in Bezug auf S # aB S # a
Einführung neuer Regeln in Bezug auf A# B A# "
Elimination der "-Regel A# "
Einführung neuer Regeln in Bezug auf S # ASA S # SA | AS | S
Da keine "-Regel vorkommt, ist das Verfahren abgeschlossen.
Die resultierende Regelmenge:
S 0 # S
S # ASA | aB | a | SA | AS | S
A# B | S
B# b
Die Ausgangs-Regelmenge
S 0 # S
S # ASA | aB
A# B | S
B# b | "
FGI-1 Habel / Eschenbach Kap 13 Kontextfreie Sprachen & Grammatiken [43]
Elimination von !-Regeln – von G'' erzeugte Sprache
Regeln in G' Beispiel eines Strukturbaums
S 0 # S
S # ASA | aB | a | SA | AS | S
A# B | S
B# b
Ableitung:
S 0 ) S
) AS
) SS ) SaB
) aaB ) aab
FGI-1 Habel / Eschenbach Kap 13 Kontextfreie Sprachen & Grammatiken [44]