ch4词法分析(张素琴).ppt

对搜有的输入符号a,b，集合{C,D,E,F} 的输出都是等价的。 选D作为{C,D,E,F}的代表。 * 过程PP : Construction of ∏new For each group G of ∏ do begin 1.Partiton G into subgroups such that two states s and t of G are in the same subgroups if and only if for all input symbols a, states s and t have transitions on a to states in the same group of ∏;/*at worst, a state will be in a subgroup by itself*/ 2.replace G in ∏new by the set of all subgroups formed end DFA的最小化—例1 ∏0:{S,A,B} {C,D,E,F} ∏1:{S,A,B} {A}{S,B} {C,D,E,F} ∏2: {A}{B}{S}{C,D,E,F} C D B A E F S b a a a a a a b b b b b b D B A S a a a b b b b a a 对所有的输入符号a,b，集合{C,D,E,F} 的输出都是等价的。 选D作为{C,D,E,F}的代表。 例4.9 p61图4.8 (1)初始化分P=({1,2,3,4},{5,6,7}) (2)P1=({1,2}{3,4}{5,6,7}) (3)P1=({1,2}{3},{4}{5,6,7}) (3)P1=({1,2}{3},{4}{5},{6,7})={A,B,C,D,E} 4 2 3 6 5 7 1 a a a a a b b b a b b a b b 6 C B 6 D A a a a b b b a b b a E 课堂练习： P72 ex4 4.4正规式和有穷自动机的等价性 词法分析程序的自动构造基于有穷自动机和正规表达式的等价性。 (1) 对于∑上的一个NFA M，可以构造一个∑上的正规式R,使得L(R)=L(M)。 (2)对于∑上的一个正规式R，可以构造一个∑上的NFA M，使的L(M)=L(R)。 从Σ上的一个正规式R构造Σ上的一个NFA M，使得L(M)=L(R)的方法。 “语法制导”的方法，即按正规式的语法结构指引构造过程，构造规则具体描述如下： 教科书p62-63. (1) R=?,构造任一具有空终态集的NFA M (2) R= ? ，构造的NFA M=({k0}, ∑,f,k0.{k0}): f（k0,a)对于 所有a?∑都没定义。 (3)R=a,构造的NFA M=({k0,,k1},∑,f,k0.{k1}): f(k0,a) = k1 (4) R =R1 | R2, 将步骤（1）（2）（3）分别应用到R1,R2 产生M1= =(K1,∑,f1,k1,F1), M2=(K2,∑,f2,k2,F2),其中K1,K2不相交.构造的NFA M= (K1?K2?{k},∑,f,k,F) : k是新增加的状态符号， f包含f1和f2,且f(k,a)=f1(k1,a)?f2(k2,a). 若k1?F1且k2?F2则 F=F1 ? F2，否则F=F1 ? F2 ?{k} (5) R=R1R2 将步骤（1）（2）（3）分别应用到R1, R2 产生M1==(K1,∑,f1,