Re: Aufgaben und Übungen,

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

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