/media/sda-magnetic/david/Dokumente-16-2024-08-01/informatikUmathematik/vhdl20240601/automat20240527.txt

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

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

y := not (z4 and x)