hola:
aunque desde un punto de vista computacional (o para construir un parser) es espantosa, desde el punto de vista teórico ---que es lo que importa en el ejercicio--- están bien utilizadas.
lo único que uno debe garantizar es que todas las tiras del lenguaje se puedan generar con alguna secuencia finita de derivaciones a partir de la gramática, y que toda tira generada por alguna secuencia finita de derivaciones pertenece al lenguaje dado.
saludos,
d.-