Visto che forse hai ancora dei dubbi, provo a darti una mano collegandono due: il primo loop a sinistra che fa rimanere lo stato in
A con ingresso
0, sta ad indicare che dobbiamo per forza aspettare un
1 per cominciare a "riconoscere" la sequenza e solo in quel caso lo stato potrà passare da
A a
B, il secondo invece va ad indicare che se (una volta raggiunto B) continuiamo a ricevere un
1 in ingresso, possiamo considerare quell'ultimo
1 come inizio sequenza e quindi "aspettiamo" in
B l'arrivo del secondo carattere della sequenza, ovvero lo
0 per poter passare da
B a
C ...
fig.2
Lascio a te i restanti due.