Transformace na LL(1)

Transformace na LL(1) gramatiku je postup, jak gramatiku upravit na gramatiku LL(1). To je taková gramatika, která nemá konflikty v rozkladové tabulce. Ne všechny gramatiky lze převést na LL(1), takže aplikace této transformace nemusí vést k požadovanému výsledku.

Pravidla transformace

Pro transformaci se používají čtyři pravidla, každé pravidlo odstraňuje nějaký konflikt v rozkladové tabulce.

1. odstranění levé rekurze

Levá rekurze se pozná tak, že pravidlo začínající Neterminálem má tento Neterminál na prvním místě na pravé straně pravidla.
Mějme následující gramatická pravidla (Neterminály: {A,B} Terminály {a,b,c}) :

pravidlofirstpoznámka
A → AaBb,czde je levá rekurze
A → bb
A → cc
B → cc
B → aca


Postup:

  1. V pravidle, kde se vyskytuje levá rekurze vyjmu Neterminál na první pozici v pravé straně pravidla (v tomto případě A) a na konec pravidla dám nový Neterminál (v tomto případě A') a na začátek pravidla místo (A) dám (A')
  2. Ostatní pravidla začínající tímto Neterminálem (A) opíšu a nakonec jim přidám nový Neterminál (A')
  3. Doplním epsilon pravidlo pro nový Neterminál (A')

Upravená gramatická pravidla (Neterminály: {A,A',B} Terminály {a,b,c,epsilon}) :

pravidlofirstpoznámka
A' → aBA'aI. odebral se Neterminál A a nakonec se přidal Neterminál A', upravení first
A → bA'bII. přidal se neterminál A'
A → cA'cII. přidal se neterminál A'
B → cc
B → aca
A' → epsilonepsilonIII. nové epsilon pravidlo

2. levá faktorizace

Tímto pravidlem se odstraňuje konflikt first-first
Mějme následující gramatická pravidla (Neterminál: {A} Terminály {a,b,c}) :

pravidlofirstpoznámka
A → aba
A → aca

Postup:
Z konfliktních pravidel utvořím nové ponecháním konfliktního Terminálu (v tomto případě a) a přidáním nového Neterminálu (v tomto případě A')
Pro nový Neterminál (A') vytvořím nová pravidla z původních konfliktních, tím že z nich odstraním konfliktní Terminál (a)

Upravená gramatická pravidla (Neterminály: {A,A'} Terminály {a,b,c}) :

pravidlofirstpoznámka
A → aA'apoužil se konfliktní Terminál a přidal se Neterminál A'
A' → bbodstraněn konfliktní Terminál a
A' → ccodstraněn konfliktní Terminál a

3. levá rohová substituce / extrakce pravého kontextu (dosazení)

Mějme následující gramatická pravidla (Neterminál: {A,B} Terminály {a,b,c,d}) :

pravidlofirstpoznámka
A → aba
A → Bca,czde se musí upravit
B → aba
B → cdc

Postup:
V nevyhovujícím pravidle nahradíme Neterminál na pravé straně (v tomto případě B) pravou stranou pravidel pro pravidlo B (v tomto případě ab, cd).

Upravená gramatická pravidla (Neterminály: {A,B} Terminály {a,b,c,d}) :

pravidlofirstpoznámka
A → aba
A → abcanáhrada Neterminálu B pravou stranou z B → ab
A → cdccnáhrada Neterminálu B pravou stranou z B → cd
B → aba
B → cdc

Pro danou gramatiku jsou již pravidla pro B nedostupná a tudíž se mohou kompletně vynechat. Po aplikaci pravidla nám vznikl konflikt first-first a ten odstraníme aplikací 2. pravidla

Gramatická pravidla po odstranění first-first konfliktu (Neterminály: {A,A'} Terminály {a,b,c,d,epsilon}) :

pravidlofirstpoznámka
A → abA'apoužili se konfliktní Terminály ab a přidal se Neterminál A'
A → cdcc
A' → epsilonepsilonodstranění konfliktních Terminálů ab
A' → ccodstranění konfliktních Terminálů ab

4. Pohlcení Terminálu (řetězce)

Odstraňuje first-follow konflikt

Mějme následující gramatická pravidla (Neterminál: {A,B} Terminály {a,c,d,epsilon}) :

pravidlofirstfollowpoznámka
A → aBcaodtud se dostalo c do follow B
B → epsilonepsilonc
B → cdc

Postup:
V pravidle odkud se dostal konfliktní Terminál (v tomto případě c) do follow sloučím s předcházejícím Neterminálem (v tomto případě B) tuto sloučeninu označím jako nový Neterminál (v tomto případě [Bc])
Pro nový Neterminál vytvořím pravidla ze stávajících pravidel pro Neterminál (B) a na jejich konec přidám Terminál (c)

Upravená gramatická pravidla (Neterminály: {A,B,[Bc]} Terminály {a,c,d,epsilon}) :

pravidlofirstfollowpoznámka
A → a[Bc]asloučeni Neterminálu B s Terminálem c v nový Neterminál
B → epsilonepsilonepsilon
B → cdc
[Bc] → ccpravidlo B → epsilon doplněné o Terminál c
[Bc] → cdccpravidlo B → cd doplněné o Terminál c

Pro danou gramatiku jsou již pravidla pro B nedostupná a tudíž se mohou kompletně vynechat. Po aplikaci pravidla nám vznikl konflikt first-first a ten odstraníme aplikací 2. pravidla

pravidlofirstfollowpoznámka
A → a[Bc]a
[Bc] → cB'cpoužil se konfliktní Terminál c přidal se Neterminál B'
B' → epsilonepsilonepsilonodstranění konfliktního Terminálu c
B' → dcdodstranění konfliktního Terminálu c
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.