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