Anexa F

Anexa F
Gramatica utilizata pentru generatoarele
automate de analizoare sintactice

*Productie*	Neterminal *::=MembruDrept* #**
*Neterminal*	*identificator*
*MembruDrept*	*Fraza* \| *MembruDreptOpSel* *Fraza*
*OpSel*	\|
*Fraza*	*Simbol* \| *FrazaSimbol*
*Simbol*	*Neterminal* \| *Terminal*
*Terminal*	*<CodLexical* >**
*CodLexical*	*nrBaza10* \| *identificator*

Pentru reprezentarea terminalelor trebuie sa se realizeze o corespondenta intre codurile lexicale adoptate pentru limbajul sursa si simbolurile care se trec intre caracterele '<' si '>'. Exista doua posibilitati in acest sens:

A. Pe post de 'CodLexical' sa se treaca valoarea numerica stabilita pentru codul lexical respectiv;
B. Pe post de 'CodLexical' sa se treaca un identificator, iar generatorul de analizoare sintactice sa dispuna de un tabel de corespondenta intre identificatorii respectivi si valorile numerice ale codurilor.

Exemplu: consideram ca in fisierul de intrare pentru generatorul de analizoare sintactice avem productiile corespunzatoare neterminalelor ProgramSursa si SectiuneConst (vezi Anexa B).

Daca se adopta solutia (A), continutul fisierului de productii ar putea fi de forma:

*ProgramSursa*	::= <100> <200> <300> *Bloc* <301> #
*SectiuneConst*	::= <400> \| <101> ListaDeclConst #

Daca se adopta solutia (B), continutul fisierului de productie ar putea fi de forma:

*ProgramSursa*	::= <cheiePROGRAM> <codIdentificator> <pctVirg> *Bloc* <punct> #
*SectiuneConst*	::= <epsilon> \| <cheieCONST> ListaDeclConst #

iar tabelul de corespondenta ar fi:

cheiePROGRAM	100
codIdentificator	200
pctVirg	300
punct	301
epsilon	400
cheieCONST	101

Obs:

simbolul '#' este utilizat doar pentru marcarea sfarsitului unei productii.
solutia (B) este ceva mai complicat de implementat, dar este mai putin expusa erorilor, mai ales daca numarul productiilor este mare (este mai sugestiv sa utilizam denumiri pentru terminale, decat coduri numerice) si mai flexibila (fisierul de intrare nu trebuie modificat daca la un moment dat se decide modificarea codurilor lexicale).

Legenda:

Font drept, bold, rosu = cuvinte cheie, operatori si semne de punctuatie (care apar ca atare in fisierul cu productii).
Font italic, bold, verde = alte terminale, definite prin expresii regulate (v. Anexa A).
Font italic, bold, turcoaz = neterminalul radacina al gramaticii.
Font italic, bold, negru = celelalte neterminale.

Font drept, non-bold, negru = operatorii metalimbajului de descriere a productiilor (notatia BNF in acest caz).