有限状态机FiniteStateMachine是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型，状态机应用范围很广，例如硬件电路系统设计