8_1有限自动机探究.pptVIP

* 实践中, 通过子集构造法得到的 DFA 的状态数目与原NFA 的状态数目大体相当. 在较坏的情况下,上述 DFA 的状态数目接近于所有子集的数目. 举例 由如下 NFA 构造的 DFA 的状态数目为2n 子集构造法得到的状态数 q0 q1 q2 qn * 构造识别下述语言的确定性有限自动机 1、{ x | x∈{0,1}+ 并且 x 含形如10110的子串} 2、{ x | x∈{0,1}+ 并且 x 以0开头，以1结尾} 3、{ x | x∈{0,1}+ 并且 x 串代表的二进制数能整除3} 4、{ x | x∈{0,1}+ 并且 如果x以1开头则长度为偶数，如果x以0结尾，则长度为奇数 } 作业： 人有了知识，就会具备各种分析能力， 明辨是非的能力。 所以我们要勤恳读书，广泛阅读， 古人说“书中自有黄金屋。 ”通过阅读科技书籍，我们能丰富知识， 培养逻辑思维能力； 通过阅读文学作品，我们能提高文学鉴赏水平， 培养文学情趣； 通过阅读报刊，我们能增长见识，扩大自己的知识面。 有许多书籍还能培养我们的道德情操， 给我们巨大的精神力量， 鼓舞我们前进。 * * * * 从图中可以看到两个最短解是：从初始状态到终止状态的最短路径。实际上，问题存在无穷多个不同的解。因此可以认为有限状态系统定义了一个无穷的语言，这个语言是由那些能使状态从初始状态经过任意可能的路径到达终止状态的字符串组成。 在上面的例子中，至少有两点不应作为有限状态系统的一般形式。首先，例中仅有一个终止状态，而一般可以不止一个；其次，例中每个状态的转移，在同一输入符号作用下，都存在反向的，这在一般情况下是不需要的。此外，注意“终止状态”这一术语并不意味着一旦抵达这个状态演算就必须停止。如上例中的终止状态 Φ一MWGC，在g的作用下可以继续转移到状态MG—WC。 * * * * * * * 应反复结合扩展转移函数的定义，加强对?? 的理解。 * DFA接收的语言：正则语言。 * 构造一个DFA的关键是：抽象设计状态。因为只有有限的状态：记忆/存储 注意：DFA没有存储装置。 * 构造一个DFA的关键是：抽象设计状态。因为只有有限的状态：记忆/存储 注意：DFA没有存储装置。 * 强调为什么要引入NFA？表达的简单和直观。 分析上面2个例子的语言特征。 需要解决的问题：是否存在等价的DFA?思路和方法：能够接收相同的语言。 * 教学注意点：数学上如何表达多个状态呢？使用幂集—状态子集。 * 证明思路：强调”语言的等价“。 * 强调：中间的三个方法，是构造方法。 * 是否应该总结出“算法”？单独给出算法。 * 注意：需要用一些字符串的例子，应用格局验证构造的DFA与NFA接受同样的字符串（语言）。 * College of Computer Science Technology, BUPT * 有限自动机 * 第一节 有限自动机 一、有限状态系统的概念 状态:状态是可以将事物区分开的一种标识。 具有离散状态的系统:如数字电路(0,1), 十字路口的红绿灯。离散状态系统的状态数是有限的. 具有连续状态的系统:比如水库的水位,室内温度等可以连续变化,即有无穷个状态. 有限状态系统必然是离散状态系统（而且状态数有限）,因为只有有限个状态. * 一、有限状态系统的概念 实例 一个人带着一头狼，一头羊，以及一棵青菜，处于河的左岸。有一条小船,每次只能携带人和其余的三者之一。人和他的伴随品都希望渡到河的右岸，而每摆渡一次，人仅能带其中之一。然而如果人留下狼和羊不论在左岸还是在右岸，狼肯定会吃掉羊。类似地，如果单独留下羊和菜，羊也肯定会吃掉菜。如何才能既渡过河而羊和菜又不被吃掉呢? * MG－WC （处于左岸的子集－处于右岸的子集） 将过河问题模型化： 人(M) 狼(W) 羊(G) 菜(C) * 二、有限自动机的概念 有限自动机的概念 具有离散 输入 输出系统的一种数学模型 (可以没有输出，比较特殊的也可以没有输入). 有限的状态 状态+输入?状态转移 每次转换的后继状态都唯一 ? DFA 每次转换的后继状态不唯一 ? NFA * FA 的模型 FA可以理解成一个控制器,它读一条输入带上的字符。 101101 有限 控制器 (1) 控制器包括有限状态; (2) 从左到右依次读取字符; (3) 状态+激励 ? 状态迁移 (根据当前所处状态和输入字符进行状态转移) * 有限状态集 有限输入符号集 转移函数 一个开始状态 一个终态集合 有限自动机的五要素 q0 q1 q2 q3 * 三、DFA的形式定义 定义: DFA是一个五元组 M=(Q,T,δ,q0,F) Q: 有限的状态集合 T: 有限的输入