Finite state machines
Are Moore machines and Mealy machines equivalent?
Mealy machine output depends on input and state
Convert Moore machine by ignoring state
Converting Mealy to Moore: increase number of states if necessary
(record information about how that state was reached)
If N states and k bits of input, may need up to 2kN states