Hallo,
was ich auf den ersten Blick direkt sehe ist, dass du versucht hast einen Zustand einzusparen indem du bei (s0,a,b) in keinen neuen Zustand übergehst. Hier musst du jedoch den Zustand wechseln, damit du dir „merken“ kannst, dass du jetzt quasi a^ib^n abgearbeitet hast und als nächstes nur noch a’s lesen darfst bis zum #. Wechselst du hier nicht in den Zustand werden auch Wörter der Form:
abababab#... erkannt, welche nicht Teil der Sprache sind.
Es müssen aber nicht unbedingt zwingend 5 Zustände sein. Mehr Zustände können es z.B. generell immer sein.
Grüße, Sören (Tutor)