Wenn du am Ende noch ein +0 und +1 anhänsgt, dann wäre ja theoretisch eine ungerade Anzahl an Zeichen möglich (und zwar das Wort 1 oder 0) und das ist ja gerade durch die Sprachdefinition ausgeschlossen. Für den Fall n=0 wäre das Leere Wort gemeint und das ist durch * bereits mit abgedeckt, da dabei ja auch "null-mal" iteriert werden kann.
Ich hoffe das hat deine Frage soweit beantwortet.
Liebe Grüße
Verena (Tutor)