Types of finite automata State Machines Hierarchy of the state machine The Finite State Machine debugger Transition graphs