Parser (+ sématická analyza) – C / C++ – Fórum – Programujte.com

Potrebujem poradiť s nasledovný problémom:

Mám parser ktorý pomocou parsovacej tabulky vygenerovanej z LL(1) gramatiky vytvára derivačný strom. V podstate každý terminál ktorý akceptuje token zo vstupu spusti sématicku funkciu a tá podľa potreby vloží objekt do derivačného stromu (+kontroluje správnosť identifikátorov...). Ak sa narazí na neterminál tak sa nahradí za jeho pravidlo získané z tabuľky a spustí sa sématická funkcia. Každý terminál/neterminál môže mať vlastnú sématickú funkciu ktorá robí dačo iné.

Problém je že niektoré časti sa nedajú zapísať pomocou LL(k) gramatiky:

príklad:

ID < ID > ID;         //ID je terminál akceptujúci token reprezentujúci slovo, zvyšok sú terminálne symboly akceptujúce operátory 

//v parsovanom texte môžu nastať nasledovné konflikty:
typ < template_parameter > meno_premennej ;   //deklaracia lokalnej premennej

premenna1 < premenna2 > premenna3 ;	//obyčajný výraz

Zatiaľ to mám tak, že neterminál môže obsahovať konfliktné pravidlá ak majú rôznu prioritu. V parsovacej tabuľke niesu potom pointre na pravidlá ale vektor pravidiel zoradených podla priority. Ak nastane chyba pri volaní sématickej funkcie pri neterminály tak sa parser pokusí nájsť iné pravidlo z nižšou prioritou. 

Dá sa to riešiť lepším spôsobom?

Zaveď si pro oba případy jenom jedno pravidlo, které naparsuje neco < neco > neco. Až to budeš mít celé načtené, teprve se rozhodni, jak to interpretovat.

Mne stačíi načítať prvé ID a podľa neho sa už viem rozhodnúť. Problem je že sa neviem rozhodnút na úrovni syntaktkickej analýzy ale až na úrovni sématickej. Samotná parsovacia tabulka sa generuje len na základe gramatiky ktorá nebere do úvahy sématiku.

Ja som nemal na škole nič s prekladačmi (len gramatiky, turingove stroje, automaty a ich redukcie... ) Čo som si posťahoval rôzne materiály k prekladačom, tak tam sú väčšinou len jednoduché príklady a všetky predpokladajú že sa dá gramatika upraviť na jednoznačnú.

Moje riešenie s pridaním konfliktných pravidiel z rôznymi prioritami síce funguje, ale zaujímalo by ma či sa to dá riešiť inak, prípadne ako sa to rieši v dnešných c/c++ prekladačoch?

...mohl by jsi se podívat, jaký jakým způsobem si vyjádří tvou gramatiku ANTLR. Tutorial pro eclipse najdeš na http://vimeo.com/groups/29150/videos/

edit: Teď mi došlo že je to tutoriál pro Javu, ale snad to k něčemu bude

Asi to spravím ako v tom videu, urobím syntax jazyka trochu ukecanejšou.

Vzhľadom na to čo som sa dočítal o parsovaní c++ jazyka tak radšej pôjdem inou cestou a inšpirujem sa viac syntaxou  UnrealScriptu alebo Lua. Dám pred deklaraciu kľúčové slovo (napr local, var, ...) a aspoň bude preklad rýchlejší :)