/media/sda-magnetic/david/Dokumente-16-2024-08-01/informatikUmathematik/vhdl20240430/automat20240418.txt

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

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

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