Finite state machines: Mealy
Moore machines: output is function of state
Mealy machines: output is function of state and input
output is shown on edge
Example:
In state 00, input of 1 produces output of 1: 1/1 x = 1, z = 1
Notice numbering of states: can select any combination of 2 bits
Input x 1 1 0 1 1 0
State q1 0 0 0 1 0 0 1
q0 0 1 1 1 0 1 1
Output z 0 1 0 1 1 1 1