Può esserci ancora una ricorsione infinita se rimuovo tutta la ricorsione sinistra?

Question

Devo trasformare la seguente grammatica in una grammatica ricorsiva non sinistra:

S → ASB | Bas

A → AAA | Baa | Aaa | Bab

Questo è quello che mi è venuto in mente:

A → Baaa '| Baba '

A '→ AAA' | Aaa '| ε

S → ASB | Bas

Per quanto ne so, non c'è più ricorsione sinistra perché nessuno dei simboli più a sinistra sull'RHS è uguale al non -terminal a sinistra. Tuttavia, supponendo che S sia il simbolo iniziale, c'è ancora una ricorsione infinita perché una si chiama ripetutamente. È previsto? O ho derivato in modo errato la grammatica non ricorsiva non sinistra?