状态机教程.pptVIP

* * 有限状态机基础知识及练习 辅导讲座 状态机一般定义 （Finite State Machine，FSM） ◆状态机 —— 一个离散数学模型。给定 一个输入集合，根据对输入的接受次序 来决定一个输出集合。（摩尔状态机） ◆状态 ——系统的基本数学特征。 ◆有限状态机 —— 输入集合和输出集合 都是有限的，并只有有限数目的状态。 输入集合 A 输出集合 X 状态记忆 输出形成 状态迁移 状态机一般结构 CLK 组合逻辑 时序逻辑 同步 当前状态 后续状态 S a1 , a2 , … , an x1 , x2 , … , xn 状态位置 状态名称 转移方向 输入集合 （触发事件） 输出集合 （执行动作） 状态等待 状态迁移图 状态机实例 —— 自动门 有一自动门，它可以被锁上，也可以开锁。当门锁上时，某人可以在它的槽中塞进一枚硬币。这样，门就会自动开锁，转变到开锁的状态；人通过后，门就会自动锁上。 我们希望把自动门交给一个简单的 FSM管理。通过对这个简单 FSM 的分析， 了解FSM 的设计过程。 自动门的基本状态 加 锁 开 锁 投币 / 开锁 通过 / 加锁 初始状态 Φ / 加锁 状态机实例 异常处理 通过 / 报警 投币 / 谢谢 加 锁 开 锁 投币 / 开锁 通过 / 加锁 初始状态 Φ / 加锁 状态机实例 自动门的结构简图 状态机实例 声光报警 投币传感器 通过传感器 加锁执行 控制器 开锁执行 “谢谢” 时钟 CLK 通过 / 报警 投币 / 谢谢 加 锁 开 锁 投币 / 开锁 通过 / 加锁 异常处理优化 状态机实例 修改“加锁”状态的异常处理 初始状态 Φ / 加锁 投币 / 谢谢 加 锁 开 锁 投币 / 开锁 通过 / 加锁 异常处理优化 状态机实例 修改“加锁”状态的异常处理 初始状态 Φ / 加锁 一个更好的异常处理方案 投币 / 谢谢 加 锁 开 锁 投币 / 开锁 通过 / 加锁 初始状态 Φ / 加锁 违 例 通过 / 报警 通过 投币 解警 / 消除警报 就绪 / 消除警报、加锁 状态机实例 是否完美了？ ？？？ 、撤销“谢谢” 2s / 撤销“谢谢” 再问一次：是否完美了？ …… …… …… 完美只是相对的！ “就绪” 是退出 “违例” 状态的唯一条件！ 可靠性 条件是充分的 经济性 条件是必要的 完美性 条件是充分和必要的 * * *