Analisi sintattica

Grammatiche di tipo Context-Free
Le strutture ricorsive presenti nei linguaggi di
programmazione sono definite da una grammatica
context-free.
Una grammatica context-free (CFG) è definita come
Un insieme finito di terminali V (sono i token prodotti
dallo scanner)
Un insieme di non terminali V.
Un assioma o simbolo iniziale (uno dei non terminali.
Un insieme di produzioni (dette anche “rewriting rules”
con la seguente forma
A → X1 ... Xm dove X1 to Xm possono essere terminali o non
terminali.
Se m =0 si ha A → ε che è una produzione valida
Grammatiche di tipo Context-Free
Le strutture ricorsive presenti nei linguaggi di
programmazione sono definite da una grammatica
context-free.
Una grammatica context-free (CFG) è definita come
Un insieme finito Esempio di terminali V (sono i token prodotti
dallo scanner) T = { (, ), id , + , * , / , -}
Un insieme di non terminali V = {E} V.
E → E + E
Un assioma o simbolo
E →
iniziale
E – E
(uno dei non terminali.
Un insieme di produzioni E → E (dette * E anche “rewriting rules”
con la seguente forma E → E / E
E → -E
A → X1 ... XmE → ( E )
dove X1 to Xm possono E →essere id
terminali o non
terminali.
Se m =0 si ha A → ε che è una produzione valida
4