Sí, es correcto.
Siempre que le pidamos una gramática simplificada pueden hacer la gramática que les salga y luego simplificarla.
En las gramáticas regulares deducidas a partir de un AFD lo que más complica, típicamente, son las producciones épsilon; pero eso se puede solucionar en un paso con el algoritmo así que no lleva mucho tiempo.
Saludos,
Santi