没有左递归规则的语法

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