hola:
la solución, efectivamente, está mal, porque solo se puede generar una letra a, cuando evidentemente las tiras podrían tener más, como bien señalás.
las gramáticas lineales salen muy fáciles con el AF correspondiente, y en este caso parecería que la variable S corresponde a q0, y la variable A a q1. luego, estaría faltando la producción equivalente a g(q1,a)=q0, o sea:
A -> a S
lo mismo sucedería con A3 y la transición g(q9,b)=q7
A3->bA1
además, no están bien contemplados los casos finales. por ejemplo, faltarían A-> b y A3->b, por ser nulable A1 (final q7)
saludos,
d.-