（7）状态机

一、有限同步状态机

　　状态机的本质是对具有逻辑顺序或时序规律的事件的一种描述方法

　　有限状态机是由寄存器和组合电路构成的时序电路，各个状态的转移是在时钟的触发下进行的，状态信息存储在寄存器中，因为状态个数有限所以称为有限同步状态机。

　　其中：存储电路用来生成状态机的状态；组合逻辑电路用来提供输出以及状态机转移的条件

二、状态机分类

 

　　具体的：以检测101序列为例

　　Mealy型状态机的输出不仅依赖当前的状态，还依赖当前的输入，因此在输入“101”时能够立即输出高电平

　　Moore型状态机的输出仅和当前状态有关，和输入无关，因此，当状态current_state为s101时，输出out高电平，与Mealy型状态机不同，Moore型状态机的输出只有在状态变化后才更新。

三、状态机编码

 

四、状态机写法

　　一段式：

　　二段式：

 

　　三段式：

 五、状态机描述方法引申