语法分析程序设计与实现.pptVIP

语法分析器的设计与实现自上而下的语法分析 阎 艳 naomi@swu.edu.cn 2010.11 语法分析器的实质（ch4.1） 功能：验证源程序是否符合语法规则。 输入：词法分析器生成的单词符号序列---种别 输出：语法分析树；如有错，则指明错误的性质和位置。 语法分析器的分类 按照语法树的建立方法，分为 自上而下分析法 递归下降 预测分析…… 自下而上分析法 算符优先…… 自上而下语法分析器的实现 语法的定义 语法规则 通常用上下文无关文法描述（ch2.5） micro语言定义 仅有的数据类型是整型INT。 所有的标识符采用显式声明，且长度不超过32个字符。标识符必须以字母开头并由字母、数字和下划线组成。 整型常量由一串数字组成。 注释由“--”开始，并在当前行尾结束。 语句类型为： 赋值语句：ID := Expression；Expression是由标识符、文字常量、+ - * / 运算符组成的中缀表达式结构，其中允许含有括号。 输入输出语句：read( List of IDs);write(List of Expressions); begin、end、read、write、INT都是保留字。 每条语句以分号（;）结束。程序体由begin和end界定。 词法记号不能跨行。 1 从语言定义中整理出语法规则 //程序体由begin和end界定 program→$begin statements $end //每条语句以分号（;）结束 statements →stmt $semicolon statements|ε stmt →declare_smt | assign_smt|read_smt | write_smt | ε ….. 例1 program→$begin statements $end bool program(){ symbol=scanner()； if ( symbol == $begin) then { //调用词法分析器获取下一个单词 symbol=scanner()； if ( statements() ) then { if ( symbol == $end) { return true; } } return false; } 例2 expression→ expression $add term | expression $sub term | term bool expression(){ } 自上而下语法分析器的实现 LL(1)文法的条件 1）文法不含左递归 2）对于文法中每个非终结符A的各产生式的候选首符集不相交。即若A ? ?1 | ?2 |…| ?n 则 FIRST(?i) ? FIRST(?j) =? （i ?j ) 3）对文法中每一个终结符A，若它存在某个候选首符集包含?，则FIRST(A) ?FLLOW(A)= ? LL(1)文法——消除左递归 ch4.3.1 直接左递归的消除方法 若 A —＞ Aα|β ，其中β不以A开头 则修改规则为：A —＞ βA′ A′—＞ αA′|ε LL(1)文法——消除左递归 ch4.3.1 消除左递归算法(解决间接左递归) 对文法G的所有非终结符进行排序 按上述顺序对每一个非终结符Pi依次执行: for( j=1； j i-1；j++) 将Pj代入Pi的产生式（若可代入的话）； 消除关于Pi的直接左递归； 化简上述所得文法 例3 消除表达式语法规则的左递归 expression→ expression $add term | expression $sub term | term term→ term $mul factor | term $div factor | factor factor → $id | $num | $lpar expression $rpar LL(1)文法——消除回溯 提左公因子（ch4.3.2） 假定 A ? ??1| ??2| … |??n| ?1| ?2|… |?m 则，改写成 A? ?A’| ?1| ?2|… |?m A’ ? ?1 | ?2 | …| ?n LL(1)文法——消除回溯 对存在?产生式的非终结符分析FIRST和FOLLOW （ch4.3.3) 自上而下