状态器是有限状态自动机的图形表示。另一种可能的表示是状态转移表。状态图有很多形式，它们有稍微的差异并有不同的语义。

有限状态自动机的状态图是由下列元素构成的有向图：

状态Q

输入符号Σ

输出符号Z

“输出函数ω”

边δ

开始状态q₀（下面例子中没有展示）

接受状态F:如果用到的话 -- 用来指示接受状态的双重圆圈的搜集（Hopcroft与Ullman, Sipser）。接受状态也叫做“最终状态”（cf Hopcroft与Ullman（1979）Figure 2.15, p. 33）。

A state diagram is a type of diagram used in computer science and related fields to describe the behavior of systems. State diagrams require that the system described is composed of a finite number of states; sometimes, this is indeed the case, while at other times this is a reasonable abstraction. Many forms of state diagrams exist, which differ slightly and have different semantics.