/media/sda-magnetic/david/Dokumente-16-2024-08-01/informatikUmathematik/vhdl20240519/automat20240516.txt

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

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

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