Finite state machines: Mealy
q1 q0 x q1+ q0+ z
0 0 0 1 1 1
0 0 1 0 1 1
0 1 0
0 1 1
1 0 0 d d d
1 0 1 d d d
1 1 0
1 1 1
Mealy machine has outputs dependent on current state and inputs
Example:
In state 00, input of 0 gives state 11 and output 1
In state 00, input of 1 gives state 01 and output 1
Fill in "don't cares" for state 10, which doesn't exist