Da Sie bei einem Moore-Automaten in einem Zustand bereits eine Ausgabe haben, brauchen Sie sozusagen eine Anfangszustand, der nichts ausgibt, und von dem aus gestartet werden kann. Deshalb benötigen Sie hier den Zustand a. "Im ersten Schritt" bedeutet hier einfach nur, dass Sie ja nichts ausgeben können, ohen vroher eine Eingabe gemacht zu haben, d.h. im Startzustand (hier als erster Schritt bezeichnet), soll nicht einfach was ausgegeben werden.
Ich hoffe, dass es das klarer macht.
Viele Grüße
Friederike Pfeiffer-Bohnen und Lukas König