4. Finite State Machine, the FSM

• A combination of states presents a system behavior.

• An FSM consists of five elements:

  1. finite number of states

  2. finite number of external inputs

  3. finite number of external outputs

  4. specification of all possible state transitions

  5. specification of what determines each external output value.

• Each transition describes what it takes to get from one state to another.