一、有限同步状态机
状态机的本质是对具有逻辑顺序或时序规律的事件的一种描述方法
有限状态机是由寄存器和组合电路构成的时序电路，各个状态的转移是在时钟的触发下进行的，状态信息存储在寄存器中，因为状态个数有限所以称为有限同步状态机。
其中：存储电路用来生成状态机的状态；组合逻辑电路用来提供输出以及状态机转移的条件
二、状态机分类
具体的：以检测101序列为例
Mealy型状态机的输出不仅依赖当前的状态，还依赖当前的输入，因此在输入“101”时能够立即输出高电平
Moore型状态机的输出仅和当前状态有关，和输入无关，因此，当状态current_state为s101时，输出out高电平，与Mealy型状态机不同，Moore型状态机的输出只有在状态变化后才更新。
三、状态机编码
四、状态机写法
一段式：
二段式：
三段式：
五、状态机描述方法引申
一段、二段、三段式状态机的描述分别采用了一、二、三个always块，但这种表述反过来不成立！这是因为每个always块都有固定的内容和格式化结构
标签：状态,高电平,有限,状态机,输出,Mealy From： https://www.cnblogs.com/liwilling/p/18280394