Переведите приведенную ниже грамматику в нормальную форму Хомского. Дайте все промежуточные шаги.

S -> AB | aB
A -> aab|lambda
B -> bbA

Итак, первое, что я сделал, это добавил новую переменную запускаS0

так что теперь у меня есть

S0 -> S
S -> AB | aB
A -> aab|lambda
B -> bbA

затем я удалил все лямбда-правила:

S0 -> S
S -> AB | aB | B
A -> aab
B -> bbA | bb

Затем я проверил наS->S а такжеA->B Типовые правила, которых не было. И это был ответ, который я придумал, нужно ли мне что-то делать дальше или я сделал что-то не так?