грамматика, без леворекурсивных правил

Question

Пусть G- грамматика:

S --> A | B 

A --> aaB | Aab | Aba 

B --> bB | Bb | aba 

построить новую грамматику G», который не содержит леворекурсивные правил и эквивалентно Г.

Это ответ я пришел но я принес его моему профессору, и он посоветовал мне, что это неправильно. Он отказался сказать мне, как исправить это, потому что его нужно снова включить в класс. Вся помощь приветствуется. Я очень заморачиваться на этом, и все INSIGHT высоко оценили

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