Finite state machines: implementing
q1 q0 x q1+ q0+ z1 z0
0 0 0 1 0 0 1
0 0 1 0 1 0 1
0 1 0 0 1 1 1
0 1 1 1 0 1 1
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
   (b) Write outputs
These are just a function of the state
State 01 has output 11