状态机学习笔记之《有限状态机》

电子Inc

FSM的定义：
        有限状态机系统， 是指在不同的阶段会呈现出不同的运行状态的系统， 这些状态是有限的，不重叠的， 这样一个系统在某一个时刻
一定会处于其所有状态中的一个状态，     此时它接受一部分允许的输入， 产生一部分可能的响应， 并且迁移到一部分可能的状态。

FSM要素：
1、State
State是一个系统在其生命周期中某一时刻的一个运行的情况， 此时， 系统会执行一些动作， 或者等待一些外部输入。
2、Guard
状态机对外部消息进行响应的时候， 除了需要判断当前的状态， 还要判断跟这个状态相关的一些条件是否成立。这种判断称为Guard，
Guard通过允许或禁止某些操作来影响状态机的行为。
3、Event
在一定时间和空间上发生的对系统有意义的事情
4、Action
当一个Event被状态机系统分发的时候， 状态机用Action来进行相应， 比喻修改一些变量的值， 进行输入输出， 产生另一个Event或者迁移到另外一个状态等
5、Transition
从一个状态切换到另一个状态被称为“Transition”， 引起迁移的状态称为triggering event。

（待续）...