Converta a gramática abaixo no formulário normal de Chomsky. Dê todas as etapas intermediárias.

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

Ok, então a primeira coisa que fiz foi adicionar uma nova variável de inícioS0

agora eu tenho

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

depois removi todas as regras lambda:

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

Então verifiqueiS->S eA->Begras do tipo @ que não existiam. E essa foi a resposta que eu tive, preciso fazer mais alguma coisa ou fiz algo errado?