l词法分析_3(阅读).pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */78 一、LEX源程序——3.辅助过程 对翻译规则的补充 翻译规则部分中某些动作需要调用的过程，如果不是C语言的库函数，则要在此给出具体的定义。 这些过程也可以存入另外的程序文件中，单独编译，然后和词法分析器连接装配在一起。 */78 LEX源程序举例 LEX生成的词法分析器的执行：最长匹配原则 传递单词的属性，是把属性值赋给全程变量yylval 正规定义式： if ? if then ? then else ? else relop ? | = | = | | | = id ? letter(letter|digit)* num ? digit+(.digit+)?(E(+|-)?digit+)? */78 相应的LEX规格说明 /* 说明部分 */ %{ #include stdio.h /* C语言描述的标识符常量的定义，如 LT、LE、EQ、NE、GT、GE、IF、THEN、ELSE、ID、NUMBER、RELOP */ extern yylval; %}/* 正规定义式 */ delim[ \t\n] ws{delim}+ letter [A-Za-z] digit[0-9] id{letter}({letter}|{digit})* num{digit}+(\.{digit}+)?(E[+\-]?{digit}+)? %% */78 /* 规则部分 */ {ws}{/* 没有动作，也不返回 */} if{ return(IF); } then{ return(THEN); } else{ return(ELSE); } {id}{ yylval=install_id(); return(ID); } {num}{ yylval=install_num();return(NUMBER); } “”{ yylval=LT; return(RELOP); } “=”{ yylval=LE; return(RELOP); } “=”{ yylval=EQ; return(RELOP); } “”{ yylval=NE; return(RELOP); } “”{ yylval=GT; return(RELOP); } “=”{ yylval=GE; return(RELOP); } %% 相应的LEX规格说明（续） 如果没有return语句，则，处理完整个输入之后才会返回！！ */78 /* 辅助过程 */ int install_id() {/* 把单词插入符号表并返回该单词在符号表中的位置yytext指向该单词的第一个字符yyleng给出它的长度 */ } int install_num() {/* 类似于上面的过程，但单词是常数 */ } 相应的LEX规格说明（续） */78 LEX解决冲突的方式 根据规则定义的先后次序 解决了例子中关键字和标识符的冲突 最长匹配原则 解决了例子中诸如 “” 和 “=” 的冲突 */78 二、LEX的工作原理——1.工作过程 扫描每一条翻译规则Pi，为之构造一个非确定的有限自动机NFA Mi 将各条翻译规则对应的NFA Mi合并为一个新的NFA M 0 q1 q2 qn p1 p2 pn NFA M1 NFA M1 NFA M1开始 将NFA M确定化为DFA D，并生成该DFA D的状态转换矩阵和控制执行程序。 */78 二、LEX的工作原理——2.二义性处理 最长匹配原则 在识别单词符号过程中，当有几个规则看来都适用时，则实施最长匹配的那个规则 优先匹配原则 如有几条规则可以同时匹配一字符串，并且匹配的长度相同，则实施最上面的规则。 */78 二、LEX的工作原理——3.工作过程举例 %% a{ } abb{ } {a}*b{b}* { } %% */78 读LEX源程序，分别生成非确定的有限自动机 开始 1 2 a 开始 3 4 5 6 b b a 开始 7 8 b b a a abb {a}*b{b}* */78 合并为一个NFA M 1 3 7 2 4 8 5 6 a b b a b b a 开始 0*/78 将该NFA M确定化为DFA D DFA D=({a,b},{A,B,C,D,E,F},A,{B.C.E.F},?) 其中：A={0,1,3,7} B={2,4,7} C={8}D={7}E={5,8}F={6,8} A 开始 B E F C D