有穷状态机 利用有穷状态机可准确描述一个系统,它是表达规格说明 的一种形式化方法。 定义: 有穷状态机FSM( Finite state machine)是一种基本的、 简单的、重要的形式化技术,具有广泛的应用,可用于系 统生命期中从系统规格到系统设计的所有阶段。直观地理 解,有穷状态机就是一个具有有限状态的机器。 第16页
第 16 页 二、有穷状态机 • 利用有穷状态机可准确描述一个系统，它是表达规格说明 的一种形式化方法。 定义： • 有穷状态机FSM（Finite State Machine）是一种基本的、 简单的、重要的形式化技术，具有广泛的应用，可用于系 统生命期中从系统规格到系统设计的所有阶段。直观地理 解，有穷状态机就是一个具有有限状态的机器
客观世界中存在着许多具有有穷个状态的系统 钟表:12×60×60种状态,秒针每走一步,就从一个状态 转移到另一个状态 饮料自动售货机 商场的自动门控制器 第17页
第 17 页 • 客观世界中存在着许多具有有穷个状态的系统 – 钟表：12×60×60种状态，秒针每走一步，就从一个状态 转移到另一个状态。 – 饮料自动售货机 – 商场的自动门控制器
引例 个保险箱上装了一个复合锁,锁有三个位置,分别标记 为1、2、3,转盘可向左(或向右(R转动。这样,在任意 时刻转盘都有6种可能的运动,即1L、1R、2L、2R、3L和 3R。保险箱的组合密码是1、3R、2L,转盘的任何其他运 动都将引起报警。 第18页
第 18 页 引例： • 一个保险箱上装了一个复合锁，锁有三个位置，分别标记 为1、2、3，转盘可向左(L)或向右(R)转动。这样，在任意 时刻转盘都有6种可能的运动，即1L、1R、2L、2R、3L和 3R。保险箱的组合密码是1L、3R、2L，转盘的任何其他运 动都将引起报警
●··引例—保险箱的状态转换 初始态保险箱 IL 3R 2L A B 锁定 保险箱终态 解锁 转盘的 转盘的 转盘的 任何其 任何其 任何其 他移动 他移动/他移动 报警终态 图:保险箱的状态转换图 第19页
第 19 页 图：保险箱的状态转换图 引例——保险箱的状态转换
●··引例—保险箱的状态转换 表4.1保险箱的状态转换表 器犬恋 保险箱绩定 转盘动 A 报警 报警 1R 报警 报警 报警 报警 报警 保险箱解锁 2R 报警 报瞀 报警 3I 报警 报警 报警 3R 报警 B 报警 第20页
第 20 页 引例——保险箱的状态转换