状态机(有限状态机,FSM)是包含有限个状态的概念化机器,由状态、转换和动作这3个元素组成的有向图,三者关系如下:
在任何时候,状态机只能处于其中的一个状态,而状态的转换由输入事件引起,但状态机又可以响应或不响应输入事件,所以输出动作同样也是可以产生或不产生的,下一个状态取决于当前的状态以及输入事件。
所有的状态机体系中,普遍的假设一个状态机在它能进行下一个事件处理前完成对每个事件的处理,这个执行模型被称为“运行-到-完成”模型(Run-to-Completion Execution Model,RTC)。
原文:https://www.cnblogs.com/cheertoday/p/14408795.html