/media/sda-magnetic/david/Dok-15-2023-11-27/informatik/fsm-2024-02-15/fsm2024-02-13a.csv

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

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

y := (z1 and x) or (z4)