编译原理二.ppt

上次课主要内容 2.3.2 确定的有限自动机（续3） 2.3.3 有限自动机的等价 2.4 从正规式到词法分析器 2.4.1 从正规式到NFA 2.4.1 从正规式到NFA（续1） 2.4.1 从正规式到NFA（续2） 2.4.1 从正规式到NFA（续3） 2.4.2 从NFA到DFA 2.4.2 从NFA到DFA（续1） 2.4.2 从NFA到DFA（续2） 2.4.2 从NFA到DFA（续3） 2.4.2 NFA到DFA（续4） 2.4.2 NFA到DFA（续5） 2.4.2 NFA到DFA（续6） 2.4.2 NFA到DFA（续7） 2.4.2 NFA到DFA（续8） 2.4.2 NFA到DFA（续9） 上次课主要内容 2.4.3 最小化DFA 2.4.3 最小化DFA（续1） 2.4.3 最小化DFA（续1） 2.4.3 最小化DFA（续2） 2.4.3 最小化DFA（续3） 2.4.4 由DFA构造词法分析器 2 直接编码的词法分析器 2 直接编码的词法分析器（续1） 3 两类分析器的比较 2.5 本章小结 2.5 本章小结（续） 算法2.4 求ε-闭包 算法2.1 模拟DFA s:=s0； ch:=nextchar； -- 初值 while ch≠eof -- 循环 loop end loop; if -- 返回 then return “yes”; else return “no”; end if; ■ 输入 DFA D和输入字符串x(eof)。D的初态为s0，终态集为F。 输出 若D接受x，回答“yes”，否则回答“no”。 方法 用下述过程识别x： s:=move(s,ch); ch:=nextchar; s is in F 算法2.3 * 记号的说明：正规式描述，简化形式与辅助定义； 记号的识别：有限自动机 NFA的定义：M =（S，∑，move，s0，F） 直观表示：状态转换图与状态转换矩阵 NFA识别记号：从初态到终态路径上的标记 NFA的不确定性：反复试探，大量回溯 DFA：对NFA施加两条限制，消除了不确定因素 模拟DFA的算法：算法2.1 自动机的等价：识别同一个正规集 s:=s0； ch:=nextchar； -- 初值 while ch≠eof -- 循环 loop end loop; if -- 返回 then return “yes”; else return “no”; end if; ■ 用算法2.1识别abb： 1. s=0, ch=a 2. s=1, ch=b 3. s=2, ch=b 4. s=3, ch=eof 5. yes 用算法2.1识别abab： 1. s=0, ch=a 2. s=1, ch=b 3. s=2, ch=a 4. s=1, ch=b 5. s=2, ch=eof 6. no 输入 DFA D和输入字符串x(eof)。D的初态为s0，终态集为F。 输出 若D接受x，回答“yes”，否则回答“no”。 方法 用下述过程识别x： 算法2.1 模拟DFA s:=move(s,ch); ch:=nextchar; s is in F 定义2.6 若有限自动机M和M’识别同一正规集，则称M和M’是等价的，记为M=M’。 ■ 特别提示： 正规式与有限自动机从两个侧面表示正规集。正规式是描述，自动机是识别。 因此，当它们表示相同集合时，均存在等价的问题。 想一想，有几种可能的等价？ 构造词法分析器的一般方法和步骤： 用正规式描述模式（为记号设计正规式）； 为每个正规式构造一个NFA，它识别正规式所表示的正规集； 将构造的NFA转换成等价的DFA，这一过程也被称为确定化； 优化DFA，使其状态数最少，这一过程也被称为最小化； 从优化后的DFA构造词法分析器。 问题： 我们是从DFA构造词法分析器，为何不直接从正规式构造DFA，而要先构造NFA，然后转换为DFA？ 原因： 机器构造需要规范的算法； 正规式→NFA：有规范的一对一的构造算法 DFA→分析器：有便于记号识别的算法 算法2.2 Thompson 算法 输入 字母表∑上的正规式r 输出 接受L(r)的NFA N 方法 首先分解r，然后根据下述步骤构造NFA： 1 对ε，构造NFA N(ε)如下。其中，s0为初态，f为终态，此NFA接受{ε}； 2 对∑上的每个字符a，构造NFA N(a)如右上，它接受{a} ； 3 若N(P)和N(Q)是正规式P和Q的NFA，则 （a） 对正规式P|Q