Wie Lukas schon richtig geschrieben hat, besteht die Sprache L einfach aus Wörter, die aus zwei exakt gleichen Teilen bestehen, die einfach hintereinander geschrieben werden, also xx.
Die Regeln für die Grammatik L, also Teilaufgabe b erzeugt für jede 0, die erzeugt wird, auch parallel ein N. Für die 1 wird parallel ein E erzeugt. Würde man die N und E direkt ersetzten, also jeweils aus einem A => 0A0 bzw. 1A1 erzeugen, dann hätten Sie ein Palindrom gebildet, also xx'. Dies möchten Sie aber nicht, also müssen Sie erst noch Umsortieren. Ihre Ableitung sieht jetzt zum Beispiel so aus: 111000ANNNEEET. Nun ersetzen Sie das letzte E mit ET => 1T und reichen die 1 von hinten nach vorne durch, bis sie das A erreicht haben. Dann nehmen Sie das nächste E und verfahren genauso. Das geht so lange, bis alle Es und As ersetzt sind und Sie nur noch A und T durch lambda ersetzten müssen.
Ich hoffe, dass das jetzt so klarer ist.
Viele Grüße
Friederike Pfeiffer-Bohnen und Lukas König