Finite state machines: implementing
q
1
q
0
x
q
1
+
q
0
+
0
0
0
1
0
0
0
1
0
1
0
1
0
0
1
0
1
1
1
0
1
0
0
0
1
1
0
1
0
0
1
1
0
d
d
1
1
1
d
d
Step 1: State transition table
(a) Write next state
There is no state 11
Put d for "don't care" as next state
