编译原理 教学课件 作者 王生原 董渊 杨萍 张素琴 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，最终可得到