4w-有限状态机应用.pptVIP

* 用有限状态自动机模型解题 * 什么是有限状态自动机？ Finite State Machine,又称有限状态机或简称状态机，是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。 状态：存储关于过去的信息，就是说,它反映从系统开始到现在时刻的输入变化。 转移:指示状态变更，并且用必须满足来确使转移发生的条件来描述它。 动作:是在给定时刻要进行的活动的描述。有多种类型的动作： 进入动作（Entry action）-在进入状态时进行 退出动作 -在退出状态时进行 输入动作 -依赖于当前状态和输入条件进行 转移动作 -在进行特定转移时进行 * 为了描述一个有限状态机的工作状况，可采用状态转换图。状态转换图是一个有向图，图中的每个节点表示一种状态，一条边（或弧）表示一个转换关系。 初始状态通常用 “没有起点的箭头” 指向它来表示。 终止状态是机器 完成了它的程序之后 的状态，它通常表示 为双重圆圈。 q0 q1 q3 q2 a a b b b 状态转换图 a * 状态表 除了状态转换图以外,还可以使用多种类型的状态转移表。最常见的表示如下： 当前状态和条件的组合指示出下一个状态。 完整的动作信息可以只使用脚注来增加。 状态转移表 当前状态 →条件 ↓ 状态 A 状态 B 状态 C 条件 X … … … 条件 Y …