Parciales

hola,
con esa justificación alcanza, solo que obviamente tiene que estar simplificada :) en caso de no estarlo, no sería válido. de manera general, a veces es más fácil pensar una gramática que genere el lenguaje que queres y luego simplificarla, que pensar una gramática simplificada de una

eventualmente podrías ejecutar el algoritmo y ver que queda igual, pero no es necesario
saludos