Frage zu LL(1) Grammatiken

Hallo,

ich stehe hier vor folgender noch-nicht ;-) LL(1) Grammatik:

Das ganze soll einfache arithmetische Ausdrücke behandeln:

E-> E + E

E -> E * E

E -> ( E )

E -> num

Alles aus den grossen E s sind terminalsymbole.

Nun hab ich folgendes als lösung:

Hier wurden die Linksrekursionen entfernt:

E -> num R

E -> ( E )

R -> + ER

R -> * ER

R -> epsilon

wieder ausser großbuchstaben alles Terminalymbole.

Diese Lösung verstehe ich allerdings nicht ganz, ich dachte immer wenn die Linksrekursionen entfernt wurden, sollte alles 100% eindeutig sein... ist es meiner meinung aber nicht weil der parser ja nicht weiss welche E-> bzw. welches R-> er nehmen sollte.

Hat da jemand einen Tipp für mich?

danke & lg