Ho la seguente domanda di esempio per un esame di compilatori e volevo controllare la mia soluzione.
Convert the following grammar into an LL(1) grammar which recognises the same
language:
E -> E + T
E -> T
T -> id
T -> id()
T -> id(L)
L -> E;L
L -> E
Per la mia risposta ho
E -> T E'
E' -> + T | ε
T -> id
T -> id()
T -> id(L)
L -> E L'
L' -> ;E | ε
Qualcuno può verificare la risposta?
Modifica
Ok, sarebbe simile a ...
E -> T E'
E' -> + E | ε
T -> id
T -> id()
T -> id(L)
L -> E L'
L' -> ;E | ε