Si consideri il linguaggio sull'alfabeto {a, b, (, ), , }
delle espressioni definite induttivamente come segue:
a è un'espressione
b è un'espressione
se e1, ..., ek sono espressioni (con
k > 0) allora e(e1, ..., ek)
è un'espressione.
a) Si definisca una grammatica (non ambigua e context free) che lo generi
b) Si dia una grammatica LL e la tabella per l'analisi discendente
predittiva