/media/sda-magnetic/david/Dok-15-2023-11-27/informatik/snippets-pdf-2024-01-28/automat20240125.txt

Zustand     Eingabe     Ausgabe     Folgezustand        Code Folgezustand
                                                        z3+ z2+ z1+ z0+
0           0           2           2                   0   1   0   0
0           1           1           1                   0   0   1   0
1           0           2           1                   0   0   1   0
1           1           1           0                   0   0   0   1
2           0           2           3                   1   0   0   0
2           1           3           2                   0   1   0   0
3           0           3           0                   0   0   0   1
3           1           0           3                   1   0   0   0


z3+
Zustand     Eingabe     Ausgabe     Folgezustand        Code Folgezustand
                                                        z3+ z2+ z1+ z0+
2           0           2           3                   1   0   0   0
3           1           0           3                   1   0   0   0

z3+ <= (z2 and not x) or (z3 and x);


z2+
Zustand     Eingabe     Ausgabe     Folgezustand        Code Folgezustand
                                                        z3+ z2+ z1+ z0+
0           0           2           2                   0   1   0   0
2           1           3           2                   0   1   0   0

z2+ <= (z0 and not x) or (z2 and x)

z1+
Zustand     Eingabe     Ausgabe     Folgezustand        Code Folgezustand
                                                        z3+ z2+ z1+ z0+
0           1           1           1                   0   0   1   0
1           0           2           1                   0   0   1   0

z1+ <= (z0 and x) or (z1 and not x)


z0+
Zustand     Eingabe     Ausgabe     Folgezustand        Code Folgezustand
                                                        z3+ z2+ z1+ z0+
1           1           1           0                   0   0   0   1
3           0           3           0                   0   0   0   1

z0+ <= (z1 and x) or (z3 and not x)


y
Zustand     Eingabe     Ausgabe     Folgezustand        Code Folgezustand
                                                        z3+ z2+ z1+ z0+
0           0           10           2                   0   1   0   0
0           1           01           1                   0   0   1   0
1           0           10           1                   0   0   1   0
1           1           01           0                   0   0   0   1
2           0           10           3                   1   0   0   0
2           1           11           2                   0   1   0   0
3           0           11           0                   0   0   0   1
3           1           00           3                   1   0   0   0


y1
Zustand     Eingabe     Ausgabe     Folgezustand        Code Folgezustand
                                                        z3+ z2+ z1+ z0+
0           0           10           2                   0   1   0   0
1           0           10           1                   0   0   1   0
2           0           10           3                   1   0   0   0
2           1           11           2                   0   1   0   0
3           0           11           0                   0   0   0   1

y <= (z0 and not x) or
        (z1 and not x) or
        (z2 and not x) or
        (z2 and x) or
        (z3 and not x)

y0
Zustand     Eingabe     Ausgabe     Folgezustand        Code Folgezustand
                                                        z3+ z2+ z1+ z0+
0           1           01           1                   0   0   1   0
1           1           01           0                   0   0   0   1
2           1           11           2                   0   1   0   0
3           0           11           0                   0   0   0   1

y0 <= (z0 and x) or
        (z1 and x) or
        (z2 and x) or
        (3 and not x)


z3+ <= (z2 and not x) or (z3 and x);
z3+ <= (z2 and not x) or (z3 and x);
z1+ <= (z0 and x) or (z1 and not x)
z0+ <= (z1 and x) or (z3 and not x)
y <= (z0 and not x) or
        (z1 and not x) or
        (z2 and not x) or
        (z2 and x) or
        (z3 and not x)
y0 <= (z0 and x) or
        (z1 and x) or
        (z2 and x) or
        (3 and not x)