有限状态机由组合逻辑和寄存器逻辑组成。

　　1、寄存器逻辑的功能：用来存储有限状态机的内部状态。

　　2、组合逻辑又可以分为次态逻辑和输出逻辑两个部分。其中次态逻辑的功能是用来确定有限状态机的下一个状态；而输出逻辑就是用来确定有限状态机的输出。

　　在实际的应用中，根据有限状态机是否使用输入信号，设计人员经常将其分为Moore型有限状态机和Mealy型有限状态机两种类型。

　　1、Moore型有限状态机：是指那些输出信号仅与当前状态有关的有限状态机，即可以把Moore型有限状态机的输出看成是当前状态的函数。

　　2、Mealy型有限状态机：是指那些输出信号不仅与当前状态有关，而且还与所有的输入信号有关的有限状态机，即可以把Mealy有限状态机的输出看成是当前状态和所有输入信号的函数。可见，Mealy有限状态机要比Moore型有限状态机复杂一些。

　　Moore型和Mealy型有限状态机的区别：Moore型有限状态机仅与当前状态有关，而与输入信号无关；Mealy型有限状态机不但与当前状态有关，而且还与状态机的输入信号有关。

　　有限状态机的描述规则：