从NFA到DFA.pptVIP

上次课主要内容 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） 结束（2007年3月 日） 上次课主要内容 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 本章小结（续） 第二章 结束（3月28日） 算法2.4 求ε-闭包 算法2.1 模拟DFA 输入 状态集T。 输出 状态集T的ε-闭包 方法 用下边的函数计算ε-闭包 function ε-闭包(T) is begin for T中每个状态t loop end loop; while 栈不空 loop end loop; return U; endε-闭包; 用算法计算ε-闭包({s2})： U stack 1. {s2} s2 2. {s2, s4} s4 3. {s2, s4, s5} s5 4. {s2, s4, s5} 问题：试将函数直接写为递归的 返回 两个数据结构： 闭包U和模拟递归的stack 加入t到U; push(t); pop(t); for 每个u=move(t, ε) loop end loop; if u不在U中 then 加入u到U; push(u); end if; * * 正规式的简化形式与辅助定义； 记号的识别：有限自动机 NFA的定义：M =（S，∑，move，s0，F） 直观表示：状态转换图与状态转换矩阵 NFA识别记号：从初态到终态路径上的标记 NFA的不确定性：反复试探，大量回溯 DFA：对NFA施加两条限制，消除了不确定因素 模拟DFA的算法：算法2.1 自动机的等价：识别同一个正规集 构造词法分析器的一般方法和步骤： 用正规式对模式进行描述； 为每个正规式构造一个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，构造NFA N(p|q)如下。其中，s0为初态，f为终态，此NFA接受L(p)∪L(q)； （b） 对正规式pq，构造NFA N(pq)如右。其中s0为初态，f为终态，此NFA接受L(p)L(q)； （c） 对正规式p*，构造NFA N(p*)如右。其中，s0为初态，f为终态，此NFA接受L(p*)； 4 对于正规式(p)，使用p本身的NFA，不再构造新的NFA。 ■ 正规式与NFA的对应关系： 正规式 NFA ε表示集合L(ε)={ε} a表示集合L(a)={a} P|Q表示集合L(P)∪L(Q) PQ表示集合L(P)L(Q) P*表示集合(L(P))* (r) 仍然表示集合L(r) 例2.11 用Thompson算法构造正规式r=(a|b)*abb的NFA N(r) 1 分解正规式 2 自下而上构造NFA 强调： 算法的构造与正规式一一对应 构造一个新的NFA最多增加两个状态 1 NFA识别记号的“并行”方法 例2.12 从甲地到乙地，可以乘小轿车也可以骑自行车，具体