Schau mal dort
https://de.wikipedia.org/wiki/Mealy-Automat#Beispiel
Ich denke mal, das x ist für die Ein- und die beiden y für die Ausgabe.
Und die z mit dem Sternchen stehen für die Folgezustände.
Also etwa die 1. Zeile der Zustandfolgetabelle würde ich so interpretieren:
Eingabe x=0 und Zustand A= 00 gibt keinen Zustandswechsel (also
z1* und z2* immer noch 00) aber die Ausgabe y1=1 und y0=0.
Im 2. Takt ist x=1 . Der Automat geht also am Taktende in der Folgezustand
o1 ( also B ) und macht die Auagabe 00.
Bin mir nicht ganz sicher, aber so (ähnlich) könnte es sein.