Mealy vs. Moore
Mealy - Output determined by current state and inputs
Moore - Output determined on current state only