活动11TreasureHunt——有限状态机-西安交通大学计算机教学实验.ppt

HPMS 活动11 Treasure Hunt ——有限状态机 西安交通大学 高效能建模与仿真研究小组 2011年10 本PPT的材料改编自csunplugged.org项目 Telling Computers What to Do-Representing procedures 主要内容 寻宝问题描述 计算思维及问题扩展 计算机中的有限自动机 结论 参考文献 寻宝问题描述 岛屿（7）：每个岛都有两艘离开的船—A,B通往不同的地点 寻宝者（n）：由海盗岛（Pirate）进入，每人有一张没有标路线的地图，进入岛后任意选择A，B路线进入下一站，目的地是财富岛（treasure） 海盗：不参与游戏，但是他们知道具体线路，却不告诉寻宝者 图11-1 图11-2 图11-3 在每个人都找到路径后，将孩子们聚集到一块儿，讨论他们找到的到财富岛的路径。黑板上有一个完整的地图，孩子们可以跟踪其它路径。例如，BBAAAAAB和 BBAAAAAAAB都能到财富岛。 使用不同的设计可以重复该游戏。图11.4给出了另一种方式来表达地图。岛通过圆环圈起来的数字表示，并且最后一个岛（财富岛）有两层圆环。注意四号岛到自己的循环。围绕着岛移动的孩子们在此时能够在空白纸上画出一副地图，把循环中的数字当做岛屿。 孩子们将享受自己设计的地图并给出关于岛的卡片。 图11-4 图11.6b给出了A和B的交替序列的字符串（AB, ABAB, ABABAB, . . .）。 图11.6 孩子们可以自己设计地图来决定识别出的字符串应该具备的特征。 在图11.6a中的地图（2个岛），当且仅当有奇数个A时（例如，AB, BABAA, or AAABABA） 图11.6c需要这个序列至少包含一个B（唯一不适合的序列是A, AA, AAA, AAAA, . . .）。 图11.5a给出了通过一个自动的硬币投掷机所产生的投硬币的一个可能序列。我们想要找出这个机器是否存在作弊行为。投币机好象存在一个模式，但是很难发现它。把这个序列写出来，看看投币机识别的模式是否可预测。 使用图11.5b中的地图能够表示11.5a中的模式。按照这个序列，第一个h将你从岛1带到岛2。第二个h将从岛2到岛4。注意，不存在读入t时从岛2出发的路径。如果t已经出现，而我们还在岛2，这就意味着我们陷入死局。按照这个模式，通过跟踪图11.5a中的序列，不会出现错误，那么投币机的模式就可以用这种地图结构表示了：每个组所投的三个硬币中的前两个硬币将是相同的（从这个序列中你能够发现：每一次的第二次投掷，均是前面的一个拷贝）. 图 11.5: (a) 投硬币的序列; (b) 用有限状态机解释序列 (hh│tt)(h│t)* 计算思维  用途：电脑程序总是需要来处理一系列符号，这些符号可能是文件中的字母或者单词，或者其它的电脑源程序。有限状态自动机就是通过读入状态来识别符号。 我们日常生活中已经在悄悄使用它了。例如我们的电子设备按键MP3等。我们可以将每次按键是为一句原语句，每次按键对应到游戏中为选择不同路径离开岛屿，有几个按键可供选择即为有几种路径供选择。不同的按键组合实现不同的功能。再比如逐个读入字符识别单词。 计算机中的有限自动机 确定有限自动机： 状态图中任一节点读入同一字符转入的下一状态相同。也就是在寻宝中每只船到达的岛屿只能是固定的一个岛屿。例如不能既可以到海盗岛又可以到财富岛。 q1 q0 q2 q3 q5 ? +,– q4 ? +,– . 0,1, … ,9 q0 q1 q2 q1 , q4 q3 , q5 q2 , q3 q5 ? q2 , q3 q5 q1 q2 q1 , q4 q3 , q5 q3 , q5 q3 , q5 q1 , q4 ? ? ? ? ? ? ? ? ? ? +,– ? q0 q1 q3 q2 q5 q4 q0 q1,q4 q2,q3,q5 0,1,…9, 0,1,…9, 0,1,…9, q2 q3,q5 0,1,…9, 0,1,…9, q1 +,– Start . . 有限状态自动机的简化 寻找一个状态数比M少的DFA M’，使得L(M)=L(M’)。 一个DFA M的状态最少化过程旨在将M的状态集分割成一些不相交的子集，使得任何不同的两个子集中的状态都是可区别的，而同一子集中的任何两个状态都是等价的。最后，在每个子集中选出一个代表，同时消去其它等价状态。 假设s和t为M的两个状态，称s和t等价:如果从状态s出发能读出某个字?而停止于终态，那么同样，从t出发也能读出?而停止于终态；反之亦然。 两个状态不等价，则称它们是可区别的。 两个状态等价的条件: 一