Wird in s0 z.B. eine 0 (erstes Zeichen) gelesen, wird eine 0 (zweites Zeichen auf dem Pfeil) ausgegeben und man wechselt in den Zustand s2. Wird dagegen eine 1 gelesen, wird auch eine 0 ausgegeben, aber man wechselt in s1.
Schau dir am besten noch einmal Mealy-Automaten an.
Wie man rausfindet, was der Automat macht, hilft es kleine Beispielwörter zu nutzen und zu sehen, was mit diesen passiert