计算理论_有限自动机_2015.ppt

字符串与语言 语言举例与字典序 决定性问题与语言一一对应 确定型有限(穷)自动机的形式定义 图灵对计算的观察 有限自动机是简化的图灵机 格局与机器运行([L]) DFA计算的形式定义[S] 有限自动机识别的语言:正则语言 有限自动机的设计(难点) 字符串匹配算法 正则语言与正则运算 正则运算举例 非确定型机器(难点) 非确定型计算 NFA的计算方式 NFA的形式定义 如何定义NFA的计算 NFA计算的形式定义 NFA计算形式定义举例 NFA的设计(难点) NFA与DFA等价 正则运算的封闭性 正则表达式 正则表达式与DFA等价 A有正则表达式?A正则 A正则?A有正则表达式 删除一个中间状态 非正则语言 泵引理 广义非确定有限自动机(GNFA) 非确定有限自动机 转移箭头可以用任何正则表达式作标号 证明中的特殊要求: 起始状态无射入箭头. 唯一接受状态(无射出箭头). 手段: 一个一个地去掉中间状态. 设qrip为待删中间状态, qi, qj为任意两个状态 qi qj qrip R4 R2 R1 R3 qi qj (R1)(R2)*(R3)?(R4) 1 2 3 a b a b b a B={ 0n1n | n?0 } C={ w | w中0和1的个数相等 } D={ w | w中01和10的个数相等 } 哪些是正则的? 定理(泵引理): 设A是正则语言,则存在p0使得 对任意s?A, |s|?p, 存在分割s=xyz满足 1) 对任意 i ? 0, xyiz ? A; 2) |y|0; 3) |xy|?p. 泵引理的证明及其逆否命题. 应用(难点): B = { 0n1n | n?0 } 非正则 C = { ww | w?{0,1}* } 非正则 D = { 1n2 | n ?0 } 非正则 本章作业 1.8.5 下列各条中哪些成立? 给予说明. (a) baa?a*b*a*b* (b) b*a* ? a*b* = a* ? b* (c) a*b* ? b*c* = ? (d) abcd ? (a(cd)*b)* 2.1.1 设M是一台确定型有限自动机，恰好在什么情况下??L(M)? 证明你的答案. 2.1.3 构造接受下述语言的确定型有穷自动机: (a) { w?{a,b}* : w中每一个a前面都是一个b } (b) { w?{a,b}* : w含有子串abab } (e) { w?{a,b}* : w含有子串ab和ba } 注意严格表达方式 Deterministic finite automata 以1结尾或至少有一个1而以00结尾 先回忆DFA的定义，然后提问如何给出NFA的定义 教材: [1] 王晓东,计算机算法设计与分析,电子工业.[王] [2] Lewis等著, 计算理论基础, 清华大学.[L] 参考资料: [3] 潘金贵等译, Cormen等著, 算法导论, 机械工业.[C] [4] 唐常杰等译, Sipser著, 计算理论导引, 机械工业.[S] [5] 黄林鹏等译, Manber著, 算法引论-一种创造性方法, 电子.[M] [6] 刘汝佳等, 算法艺术与信息学竞赛, 清华大学.[刘] 计算理论与算法分析设计 刘 庆 晖 计算理论 第1章 有限自动机 从字符串匹配问题说起 输入: 两个字符串x, y, (|x|=n, |y|=m) 输出: 所有y在x中出现的起点位置 例: x=abaabababbabababbababaa, y=ababbababaa 输出13 直接法: 以每个位置为起点对比一遍y. O((n-m+1)m) 观察改进方法 x: a b a a b a b a b b a b a b a b b a b a b a a y: |a b a b b a b a b a a y: |a b a b b a b a b a a y: |a b a b b a b a b a a y: |a b a b b a b a b a a 构造状态和转移函数 y=ababbababaa 0 ? 1 a 2 ab 3 aba 4 abab 5 ababb 11 ababbababaa 10 ababbababa 9 ababbabab 8 ababbaba 7 ababbab 6 ababba a a a a a