一个FSM的状态图是一个有向图，它有如下元素：

状态Q：用圆圈表示的一组向量的有限集合，有唯一的标识符号或词组。

边Edges：由输入导致的在2个状态之间的转换transistion。一个edge通常汉城从当前状态到下一状态的带箭头线条。

开始状态Q0：

接受状态F：如果使用，是表示接受状态和最终状态的双重圆圈的集合。

一维状态表：

A，B列为输入，

2维状态表：

S: State, E：Event,  A:Action,  -:illegal transistion

也可以转置2维状态表，让E为行，S为列。