Buenas tardes, estaba repasando este ejercicio y encontré que la gramática irrestricta propuesta en la solución para el lenguaje de este ejercicio generaría tiras que no pertenecen al lenguaje, por ejemplo, se podría derivar de la siguiente manera:
Puede ser que en vez de la regla señalada en la imagen de la solución adjunta al final del mensaje, la regla de producción sea ?
Adjunto el lenguaje: 
Y la solución con la regla marcada:
Saludos, Ian