Peut-il encore y avoir une récursivité infinie si je retire toute la récursivité gauche?

Question

Je dois transformer la grammaire suivante en une grammaire récursive non gauche:

S → ASB | bas

A → AAA | Baa | Aaa | bab

C'est ce que j'ai trouvé:

A → Baaa '| baba '

A '→ AAA' | Aaa '| ε

S → ASB | bas

Pour autant que je sache, il n'y a plus de récursivité à gauche car aucun des symboles les plus à gauche sur le RHS n'est le même que le non terminal à gauche. Cependant, en supposant que S est le symbole de départ, il y a encore une récursivité infinie car A s'appelle à plusieurs reprises. Est-ce attendu? Ou ai-je dérivé de manière incorrecte la grammaire récursive non gauche?