/media/sda-magnetic/david/Dok-15-2023-11-27/informatik/2024-01-01-finite-state-machine/zustaende2.txt

    A     B   C             D E
    0     xx  100100        1 000001
    1     0x  0xx0xx        3 000100
    1     1x  0xx0xx        2 000010
    2     xx  101101        1 000001
    3     xx  1100xx        4 001000
    4     x0  0xx0xx        6 100000
    4     x1  0xx0xx        5 010000
    5     xx  101110        4 001000
    6     xx  0xx0xx        6 100000


Aktueller Zustand: A
Eingabe - Status Signal: B
Ausgabe - Status Signal: C
Folgezustand: D
Code-Folgezustand: E


z1+ = z0
z2+ = z1 AND v1
z3+ = z1 AND NOT v1
z4+ = z3 OR z5
z5+ = z4 AND v0
z6+ = (z4 AND NOT v0) OR (z6)

s5 = z0 OR z2 OR z3 OR z5
s4 = z3
s3 = z2 OR z5
s2 = z0 OR s2 OR s5
s1 = s5
s0 = z5