so wie ich das sehe, liegst du vollkommen richtig. Man könnte sich einen Zustand sparen. Gern kannst du ihn ja mit dem Algorithmus zum Minimieren von Endlichen Automaten reduzieren.
Und: Es fehlt offentsichtlich die Definition des kompletten Automaten.
Grüße
Simon