/media/sda-magnetic/david/Dok-15-2023-11-27/informatik/vhdl20240411/automat20240403.txt

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

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