Finite State Machine

这个程序实现了一个算法来降低有限状态机

有限状态机（英语：finite-state machine，縮寫：FSM）又稱有限状态自动机，简称状态机，是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。

优化

优化一个FSM意味着找到带有极小数目个状态的进行同样功能的机器。一种可能是使用蕴涵表或Moore简约过程。另一种可能是无环FSA的自底向上算法

硬件应用

在数字电路中，FSM可以用可编程逻辑设备、可编程逻辑控制器、逻辑门和触发器或继电器来建造。更明确的说，硬件实现要求寄存器来存储状态变量，确定状态转移的一块组合逻辑，和确定FSM输出的另一块组合逻辑。一类经典硬件实现是Richard控制器。

软件应用

下列概念经常用来建造有有限状态机的软件应用：

事件驱动FSM

虚拟FSM (VFSM)

基于自动机编程