computer-science - 没有左递归规则的语法

Question

令 G 为文法：

S --> A | B

A --> aaB | Aab | Aba

B --> bB | Bb | aba

构造一个不包含左递归规则且等价于 G 的新文法 G'。

这是我想出的答案，但我把它带给了我的教授，他告诉我这是错误的。他拒绝告诉我如何解决它，因为它必须在以后上交。感谢所有帮助。我对此非常困惑，非常感谢所有见解

GL: S0→ S | λ
S→ ABC | AB
A→ aA | a
B→ bB | A
C→ cC

Answer 1

那这个呢：

S -> A | B
A -> aaC
C -> bC | D
D -> abaE
E -> bE | F
F -> λ | ab | ba
B -> bB | G
G -> aba | H
H -> b | bH