/media/sda-magnetic/david/Dok-15-2023-11-27/informatik/vhdl20240401/automat20240331.txt

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

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