Analisi sintattica

Per esempio partendo da Prog possiamo generate,
aplicando ripetutamente le produzione le seguenti
stringhe:
Prog
{ Seq }
{ Seq ;Istr}
{Istr;Istr}
{ id = Expr ;Istr}
{ id = id ;Istr}
{ id = id ; id = Expr }
{ id = id ; id = Expr + id}
{ id = id ; id = id + id}
Le produzioni devono avere le seguenti
proprietà:
no produzioni inutili o ridondanti (i.e., A → A),
no non-terminali senza produzioni
(e.g., A → Ba dove B non è definito),
no cicli infiniti (e.g., A → Aa senza altre
produzioni per A),
no ambiguita’: una grammatica con più alberi
sintattici per la stessa espressione è ambigua
descrivere correttamente il linguaggio.
6