For the subsequent discussion a State Machine will be defined as the following tuple of values [REF] (See also Mealy machine and Moore Machine): .
This discussion requires a State Machine to be deterministic: multiple copies of the same State Machine begin in the Start state, and receiving the same Inputs in the same order will arrive at the same State having generated the same Outputs.