状态器是有限状态自动机的图形表示。另一种可能的表示是状态转移表。状态图有很多形式，它们有稍微的差异并有不同的语义。
定义.有限状态自动机的状态图是由下列元素构成的有向图：状态Q输入符号Σ输出符号Z“输出函数ω”边δ开始状态q（下面例子中没有展示）接受状态F:如果用到的话 -- 用来指示接受状态的双重圆圈的搜集（Hopcroft与Ullman, Sipser）。接受状态也叫做“最终状态”（cf Hopcroft与Ullman（1979）Figure 2.1