转移

状态机 状态机的概念是来自硬件的。描述一系列状态转换的电路叫状态机。主要用来实现一个数字系统设计中的控制部分。运行模式类似于CPU，但和CPU相比，具有结构简单、易读易懂等特点。 对于无限个状态（无限状态机，Infinite State Machine，ISM）是难以检证的，所以这里所说的状态机通常是指有限状态机或有穷状态机，即Finite State Machine，FSM。 状态模式可以允许客户端改变状态的转换行为，而状态机则是能够自动改变状态，状态机是一个比较独立的而且复杂的机制。 状态机看上去就像是一个有向图，其中状态是图的节点，而状态转换则是图的边。 此外这些状态中还必须有一个初始状态和至少一个接受状态。 但是由于一些原因并不会执行初始化（initialization），而是直接通过一个节点进入状态是允许的，则此节点称之为进入节点（Entry Point）。 进入终了状态的节点称为退出节点（Exit Point） 转移（Transitions）是两个状态之间的一种关系，表示对象将在源状态（Source State）中，因为预先定义的触发器的发生导致警界条件满足时进入目标状态（Target State）。 触发器（Trigger）：是转移的诱因，可以是一个信号，事件、条件变化（a change in some condition）和时间表达式。 警界条件（Guard