线性序列机与有限状态机有什么区别？

线性序列机与有限状态机有什么区别？

答：线性序列机LSM（Linear Sequential Machine）是比较新的一种自动机模型，也可以说模型的提出并不新（上世纪50年代），但作为高端EDA理论的补充，的确是非常新颖的。

有限状态机（Finite State Machine），在理论体系中，隶属于有限自动机FA的集合，或者说，LSM与FAM的理论体系是相同的。广义的FSM包含LSM，或者说，LSM是广义FSM的特例：状态转移按照线性规律，始终从上一个状态转向唯一的一个下一个状态。

   因此，可以这样定义：侠义的FSM：状态转移过程是非线性的，状态的转移具有多个出口（多个分支）LSM：状态的转移过程是线性的，LSM中的任一个状态有且仅有一个出口历史上学术界，并不像现在这样将上述定义用作LSM的定义，而是将后者称为SM（Sequential Machine）。由于大多数复杂控制逻辑中，既有线性转移部分，也有非线性转移部分，所以历史上这种按照FSM理论实现非线性转移，按照SM（或LSM）理论实现线性转移的应用例子很多，学术界称为PLSM（或PSM， Partitioned Sequential Machine）。它（PLSM）线性序列机LSM是更深入的数学模型，是指由节点组成的线性序列过程中，仅有乘加模型，因此其分析方法可以采用线性数学理论。相关研究属于比较前沿的领域。