LL(x) gramatiky -> vyhodnocovani zleva

[Yossarian]

Zdravim, sice to moc nesouvisi s hrami, ale snad mi nekdo pomuze:
mam LL(n) ( kde n je aktualne 4.. ) gramatiku, s nasledujicim pravidlem:

[Marty]

Sakra to je hrozny jak to clovek vsechno zapomina . Tak jsem zapatral na wiki a ano je to dano gramatikou, proto se taky jmenuje LL. Prvni L znama text se cte z leva, druhe L gramatika vytvari levou derivaci tzn. to co jsi napsal a->b->c->d jako (a->(b->(c->d))). Takze pokud to chces opacne asi budes muset pouzit LR gramatiku. Coz je v podstate ta druha co jsi napsal, protoze LR gramatice leva rekurze nevadi

Jen doufam ze jsem neco nenapsal blbe

[johnnash]

Nevim co je tvym cilem, a pokud by slo o vyhodnocovani jenom takhle jednoduchych vyrazu tak bych zkusil precedencni syntaktickou analyzu.
Je pomerne jednoducha a umi toho jakz takz dost.

[MD]

co takhle?:

[Yossarian]

[Manox]

Delali jsme na FIT komplet cely prekladac pro jazyk podobny C

[Augi]

Já jsem v rámci jedný semestrální práce napsal parser C# - výsledkem byla kostra dokumentace (takže jsem neřešil vnitřky metod). Ale vycházel jsem z gramatiky C#, kterou vydal Microsoft a v pohodě jsem to jako LL(1) implementoval a myslím, že by to šlo celý udělat jako LL(1). Tak co třeba zkusit mrknout na tu gramatiku C# a zkusit se inspirovat?

[Yossarian]

manox: ja uz kompiler v podstate mam, jenze ted sem pridal podporu pro objekty a nestacil sem se divit
augi: ze by c# bylo LL(1) se mi nezda. nicmene diky za radu, podivam se na to

[Augi]

No už to je pár let zpátky, tak možná melu kraviny Ale určitě jsem to implementovat klasickym rekurzivnim sestupem. Jestli jsem to dobře pochopil, tak se Ti nechce implementovat parser, ale implementace rekurzivního sestupu z pravidel gramatiky je fakt primitivní...

[Peta]

Ja jsem zase dělal interpret C++, taky rekurzivní sestup, LL(1) gramatika. Takže imho to půjde udělat určitě, jak říká Augi.

Jinak pro ten parser - v podstatě to uděláš tak, že neterminál je nějaká funkce a přepisovací pravidla v té funkci ošéfuješ switchem. Abys to ale mohl switchovat potrebujes znat FIRST a FOLLOW kazdyho pravidla/neterminalu. Asi takhle:

E -> +TE
E -> -TE
E -> T

void E (lexel dalsiLexElem) {

switch (dalsiLexElem) {
case elemPlus
case elemMinus
....
}

}

Snad jsem to nezvrtal, po sesti hodinach uceni uz mi to fakt moc nemysli...
_________________
Když je Ti smutno, otoč se tváří ke slunci a všechny stíny padnou za Tebe.

[MD]

Jestli je C# skutecne LL(1), to si netroufam odhadnout, ale urcite se da celkem jednoduse analyzovat shora dolu ala LL(1) Slozitost syntaxe Krkal C a syntaxe C# je hodne podobna. No a kompilator jsem nakonec delal taky jednoduchym rekurzivnim sestupem. Nevyhoda toho je, ze se to da strasne jednoduse zbastlit a pak byva problem jazyk rozsirovat o nove prvky. Flex a Bison trosku prozkoumaval tangent, tak treba poradi, kdyby bylo treba.
_________________
- play with objects - www.krkal.org -

[MD]

[Augi]

[MD]

Augi: Kdyz to je porad jenom teorie. V praxi se tam potom dodava (kontroluje) semantika a ta mnohdy byva slozitejsi nez syntaxe, siri se atributy nahoru dolu, volaji se obsluzne funkce... Celkem bych si rad poslechl nejakou prezentaci na konkretnim prikladu s ukazkami kodu. Mohlo by to byt zajimave srovnani. Jeden muj kolega delal kompilator, kde oba postupy zkombinoval. Bohuzel jsme si nenasli cas na to, aby mi to poradne vysvetlil.
_________________
- play with objects - www.krkal.org -

[Augi]

No sémantický pravidla jsem uvažoval, ale to by ta utilita musela bejt asi fakt hodně robustní, takže je fakt možná lepší ten rekurzivní sestup naprgat ručně