/media/sda-magnetic/david/Dok-15-2023-11-27/informatik/fsm20240227/automat20240227.txt

Zustand     Eingabe     Ausgabe     Folgezustand        CodeFolgezustand
                                                        z1+ z2+ z3+ z4+
z1          0           0           z4                  0   0   0   1
z1          1           0           z4                  0   0   0   1
z2          0           0           z2                  0   1   0   0
z2          1           1           z3                  0   0   1   0
z3          0           0           z1                  1   0   0   0
z3          1           0           z2                  0   1   0   0
z4          0           0           z3                  0   0   1   0
z4          1           1           z1                  1   0   0   0


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

y := z2 and x or z4 and x