Types of finite automata State machines State machine hierarchy Finite automata debugger Transition graphs