Zustand,Eingabe,Ausgabe,Folgezustand
1,0,0,1
1,1,0,3
2,0,1,3
2,1,1,1
3,0,0,4
3,1,0,4
4,0,0,2
4,1,0,2

z1+ := (z1 and not x) or (z2 and x)
z2+ := (z4)
z3+ := (z1 and x) or (z2 and not x)
z4+ := (z3)

y := (z2)