estoy tratando de probar lo siguiente: Si G es un contexto libre de gramática en la forma normal de Chomsky, entonces para cualquier cadena w pertenece L (G) de longitud n ≥ 1, se requiere exactamente
Convierta la gramática a continuación en la Forma Normal de Chomsky. Da todos los pasos intermedios. S -> AB | aB
A -> aab|lambda
B -> bbA
Ok así que lo primero que hice fue agregar una nueva vari