有限状态机基础知识及练习.ppt

* * 有限状态机基础知识及练习 辅导讲座 状态机一般定义 （Finite State Machine，FSM） ◆状态机 —— 一个离散数学模型。给定 一个输入集合，根据对输入的接受次序 来决定一个输出集合。（摩尔状态机） ◆状态 ——系统的基本数学特征。 ◆有限状态机 —— 输入集合和输出集合 都是有限的，并只有有限数目的状态。 输入集合 A 输出集合 X 状态记忆 输出形成 状态迁移 状态机一般结构 CLK 组合逻辑 时序逻辑 同步 当前状态 后续状态 S a1 , a2 , … , an x1 , x2 , … , xn 状态位置 状态名称 转移方向 输入集合 （触发事件） 输出集合 （执行动作） 状态等待 状态迁移图 nn a1 , a2 , … , an x1 , x2 , … , xn 状态位置 状态名称 转移方向 输入集合 （触发事件） 输出集合 （执行动作） 状态等待 状态迁移图 S 状态编码 状态机实例 —— 自动门 有一自动门，它可以被锁上，也可以开锁。当门锁上时，某人可以在它的槽中塞进一枚硬币。这样，门就会自动开锁，转变到开锁的状态；人通过后，门就会自动锁上。 我们希望把自动门交给一个简单的 FSM管理。通过对这个简单 FSM 的分析， 了解FSM 的设计过程。 自动门的基本状态 加 锁 开 锁 投币 / 开锁 通过