/media/sda-magnetic/david/Dokumente-16-2024-08-01/informatikUmathematik/vhdl20240524/automat20240521.txt

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

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

y := (z3 and x)