编译原理与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结点 结点消去规则 补充例 ：FA － RE 2. 从Σ上的一个正规式R构造一个等价的NFA M RE － FA 补充例 : 为 R=(a|b)* abb 构造等价NFA 例3.5 p56 V1V2 V2 V1 1 2 3 1 3 V2 V1 V1?V2 1 2