Hallo,
deine Grammatik wäre richtig, wenn die Bedingung i=j+k nicht in der Definition der Sprache enthalten wäre. Durch diese sind nur Wörter erlaubt, bei denen die Anzahl der as am Anfang gleich ist, wie die Anzahl der bs und as im zweiten Teil.
Mit deiner Grammatik könnte z.B. S-->A-->a oder S-->A-->B-->b abgeleitet werden, was allerdings nicht in der Sprache enthalten ist.
Viele Grüße,
Verena (Tutorin)