编译原理 王生原 董渊 杨萍 张素琴 slide03新.pptVIP

有限自动机与正规表达式的关系 结论: 正规表达式所表示的语言是正规语言. 证明策略 ?-NFA NFA DFA RE 正规语言及其描述 从有限自动机构造等价的正规表达式 思路（状态消去法） : 扩展自动机的概念，允许正规表达式作为转移弧 的标记. 这样，就有可能在消去某一中间状态 时，保证自动机能够接受的字符串集合保持不变. 在消去某一中间状态时，与其相关的转移弧也将 同时消去，所造成的影响将通过修改从每一个前 趋状态到每一个后继状态的转移弧标记来弥补. 正规语言及其描述 从有限自动机构造等价的正规表达式 （中间状态的消去） ? ? ? ? ? ? q1 qk p1 pm P1 Pm Qk Q1 R11 R1m Rkm Rk1 ? ? ? ? ? ? R11+ Q1S* P1 R1m+ Q1S* Pm Rkm+ QkS* Pm Rk1 + QkS* P1 q1 p1 qk pm 消去 s 正规语言及其描述 从有限自动机构造等价的正规表达式 步骤（状态消去法） : (1) 对每一终态q，依次消去除 q 和初态 q0 之外的其它状态; (2) 若q? q0，最终可得到一般形式如下左图两状态自动机， 该自动机对应的正规表达式可表示为 ( R | SU*T )*SU*. (3) 若q= q0，最终可得到如下右图的自动机，它对应的正规 表达式可以表示为 R*. (4) 最终的正规表达式为每一终态对应的 正规表达式之和（并）. 正规语言及其描述 从有限自动机构造等价的正规表达式 状态消去法举例 正规语言及其描述 从有限自动机构造等价的正规表达式 状态消去法举例 对于终态D 正规语言及其描述 从有限自动机构造等价的正规表达式 状态消去法举例 对于终态C 正规语言及其描述 对于终态C 对于终态D 等价的正规表达式 (0|1)*1(0|1) | (0|1)*1(0|1)(0|1) 从有限自动机构造等价的正规表达式 状态消去法举例 正规语言及其描述 从正规表达式构造等价的? - NFA （归纳构造过程: Thompson 构造法） 基础: 1 对于 ? ，构造为 ? 3 对于 a ，构造为 a 2 对于 ? ，构造为 正规语言及其描述 归纳: 1 对于 R | S ，构造为 ? ? ? ? 正规语言及其描述 从正规表达式构造等价的? - NFA （归纳构造过程: Thompson 构造法） 归纳: 2 对于 RS ，构造为 ? 3 对于 R* ，构造为 ? ? ? ? 正规语言及其描述 从正规表达式构造等价的? - NFA （归纳构造过程: Thompson 构造法） 从正规表达式构造等价的? - NFA 从正规表达式构造等价的? - NFA 举例:设正规表达式 1*0(0|1)*, 构造等价的?-NFA. 0|1 ? ? ? ? 1* ? ? ? ? 正规语言及其描述 从正规表达式构造等价的? - NFA 举例:设正规表达式 1*0(0|1)*, 构造等价的?-NFA. (0|1)* ? ? ? ? ? ? ? ? 1*0(0|1)* ? ? ? ? ? ? ? ? ? ? ? ? ? ? 正规语言及其描述 DFA 的化简 知识回顾：集合上的等价关系与划分 等价关系 设 Q 为一个集合，二元关系 R 是 Q 上的一个 等价关系, 当且仅当满足以下条件： 　 1. 自反性 对任何a ?Q , aRa 成立； 2. 对称性 对任何a,b ? Q , 如果 aRb 成立, 则有 bRa 成立； 3. 传递性 对任何a,b,c ? Q , 如果 aRb 和 bRc 成立, 则有 aRc 成立. 正规语言及其描述 DFA 的化简 设 Q 为一个集合，R 是 Q 上的一个等价关系, 由 R 产 生的所有等价类（或块）的集合构成 Q 的一个划分. 注释 1. 等价类 对任何a ?Q , a 所在的块用[a]表示, 定义为 [a] = {x | xRa} ； 2. 每一元素都属于唯一的块 即满足 （1）?a ?Q [a] = Q ; 和 （2）对任何a,b ?Q , 或者 [a]=[b] , 或者 [a]?[b]=? 知识回顾：集合上的等价关系与划分 正规语言及其描述 DFA 的化简 DFA 状态集合上的一个等价关系 设一个 DFA D = (Q, ?, ?, q0