/media/sda-magnetic/david/Dok-15-2023-11-27/informatik/fsm2024-02-10/automat20240210b.csv

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


z1 := z2
z2 := z3 and x or z4 and not x
z3 := z3 and not x or z4 and x
z4 := z1


1,1,1,4
2,0,1,1
2,1,1,1
4,0,1,2
4,1,1,3

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