Für a:
Es ist die Sprache der Zeichenketten die nur 0s enthalten, und es fängt mit 000 an.
Also die Regel mit der du anfängst muss das 000 enthalten, denn es gibt keine keine Zeichenkette die nicht mit 000 anfängt.
Aber die Regel kann nicht dort aufhören denn 0000 ist auch zum Beispiel gültig.
Die Grammatik sollte folgenderweise aussehen:
A->000S
S>0S| ∅