ch4 词法分析.ppt

从Σ上的一个正规式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,k1,F1), M2=(K2,∑,f2,k2,F2),其中K1,K2不相交.构造的NFA M= (K1?K2,∑,f,k1,F2) : f包含f1和f2,且 f(k,a)=f1(k,a),当 k?F1时; f(k,a)=f2(k,a),当 k∈ K2时; f(k1, ?)=k2, (6) R=R1* 将步骤（1）（2）（3）分别应用到R1,产生M1==(K1,∑,f1,k1,F1), 构造的NFA M= (K1? {k0,F0} ,∑,f,k0,F0)其中 k0,F0 是新增加的两个状态, f(k,a)=f1(k,a),当 k?F1时; f(k0, ?)=f(F1 , ?)= {k1,,F0} , 对于正规式R=? ,构造的NFA F S 对于正规式R=? ,构造的NFA F 对于正规式R=a ,构造的NFA F S a 对于正规式r, r= R1|R2构造的NFA 对于正规式r, r=R1 R2构造的NFA 对于正规式r, r=R1*构造的NFA 正规表达式 1*0(0|1)* 举例:从正规表达式构造等价的? - NFA 0|1 ? ? ? ? 1* ? ? ? ? 从正规表达式构造等价的? - NFA (0|1)* ? ? ? ? ? ? ? ? 1*0(0|1)* ? ? ? ? ? ? ? ? ? ? ? ? ? ? R=(a|ab)* b b* 应用 ? 正规式用于说明(描述)单词的结构十分简洁方便。而把一个正规式编译(或称转换)为一个NFA进而转换为相应的DFA，这个NFA或DFA正是识别该正规式所表示的语言的句子的识别器。基于这种方法中的构造词法分析程序. 应用 词法分析程序的设计技术可应用于其它领域，比如查询语言以及信息检索系统等，这种应用领域的程序设计特点是，通过字符串模式的匹配来引发动作 又如LEX，说明词法分析程序的语言，可以看成是一个模式动作语言。 词法分析程序的自动构造工具也广泛应用于许多方面，如用以生成一个程序，可识别印刷电路板中的缺陷，又如开关线路设计和文本编辑的自动生成等。 4.5 正规文法和有穷自动机的等价性 正规文法与正则表达式是等价的 从正规文法G直接构造有穷自动机NFA M，满足L(G)=L(M). (1) M的字母表与G的终结符相同； (2) 对G中的每个非终结