Finite state machines: 3-state counter
Input
Next
Output
q
1
q
0
x
q
1
+
q
0
+
z
1
z
0
D
1
D
0
0
0
0
0
0
0
0
0
0
0
0
1
0
1
0
0
0
1
0
1
0
0
1
0
1
0
1
0
1
1
1
0
0
1
1
0
1
0
0
1
0
1
0
1
0
1
0
1
0
0
1
0
0
0
1
1
0
d
d
d
d
d
d
1
1
1
d
d
d
d
d
d