形式语言与自动机week4-ch3.7-3.9a案例.ppt

fall 2001 *College of Computer Science Technology, BUPT 正则表达式与有限自动机的关系 右线性语言与有限自动机的关系 右线性语言的性质(part1) 第四讲 3.7 正则表达式与有限自动机的关系 结论: 有限自动机、右（左）线性文法、正则表达式都定义了同一种语言-- 正则语言 . 证明策略 ? - NFA NFA DFA RE RE( Regular Expression) --- 正则表达式 从 DFA 构造等价的正则表达式 （状态消去法） 思路: (1) 扩展自动机的概念，允许正则表达式作为转移弧的标记. 这样，就有可能在消去某一中间状态时，保证自动机能够接受的字符串集合保持不变. (2) 在消去某一中间状态时，与其相关的转移弧也将同时消去，所造成的影响将通过修改从每一个前趋状态到每一个后继状态的转移弧标记来弥补. 以下分别介绍中间状态的消去与正则表达式构造过程. 从 DFA 构造等价的正则表达式 （中间状态的消去） x y r1r2 x z r1 y r2 代之以： x y r1+r2 x y r2 r1 代之以： x y r1* x z ? y ? r1 代之以： 从 DFA 构造等价的正则表达式 （中间状态