课件编译原理3.3.5-re和fa转换.pptVIP

第三章 词法分析 3.1 对于词法分析器的要求 3.2 词法分析器的设计 3.3 正规表达式和自动机 3.4 词法分析器的自动产生 3.3 正规表达式和自动机 3.3.1 正规式和正规集 3.3.2 确定有限自动机 3.3.3 非确定有限自动机 3.3.4 正规文法与有限自动机的等价性 3.3.5 正规式与有限自动机的等价性 3.3.6 确定有限自动机的化简 3.3.5 RE与FA的等价性 1.对于∑上的一个NFA M， 可以构造一个∑上的正规式R, 使得L(R)=L(M) 2.对于∑上的一个正规式R， 可以构造一个∑上的NFA M， 使得L(M)=L(R) 1.从Σ上的一个NFA M构造等价的正规式R FA － RE 首先把状态转换图的概念拓广，令每条弧可用一个正规式作标记 第一步： 在状态转换图上加进两结点，x结点和y结点 从x结点用ε弧连接到M的所有初态结点 从M的所有终态结点用ε弧连接到y结点 将NFA转换成具有唯一初态 和唯一终态 的NFA 第二步： 逐步消去所有结点，直至只剩下x和y结点 V1V2 V2 V1 1 2 3 1 3 V2 V1 V1?V2 1 2 1 3 V1V2*V3 1 3 V2 V3 V1 1 2 3 结点消去规则 补充例 ：FA － RE b b a a 3 2 1 a a a,b 0 a,b 4 a,b R = (a|b)