Hey uqdrx,
der von dir oben beschriebene reguläre Ausdruck alpha (welcher ein Teil der Musterlösung ist) stellt die Sprache dar, bei der der Automat sich nach dem Einlesen der Wörter im Endzustand s4 befindet. Der von dir erwähnte Teil 000* stellt dabei die "Schleife" von s0 über s1 zurück nach s0 dar.
Dies entsprechenden Zeichenketten müssen aus mindestens zwei Nullen bestehen (von s0 in s1 und zurück). Von der Reihenfolge her, wäre 00*0 möglicherweise anschaulicher gewesen (mit der ersten Null springt der Automat in s1, dann können beliebig viele 0en eingelesen werden und mit der letzten 0 springt er wieder in s0). Es macht aber keinen Unterschied ob man 00*0 oder 000* schreibt, es werden in beiden Fällen die gleichen Sprachen dargestellt.
Viele Grüße
Ashvin (Tutor)