Definition: Mealy Machine
? A sequential machine or Mealy Machine can be characterized by the quintuple: M = ( ?, Q, Z, ?, ?) where
? = finite non-empty set of input symbols ?1, ?2, ..., ?i
Q = finite non-empty set of states q1, q2, ..., qn
Z = finite non-empty set of output symbols z1, z2, ..., zm
? = next-state function, which maps Q?? ? ??Q
????the output function, which maps Q?? ? ??Z