/media/sda-magnetic/david/Dok-15-2023-11-27/informatik/vhdlandco20240318/automat20240313.txt

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


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