语法分析递归下降法教学课件.ppt

第三章：语法分析  递归下降法 1.1 递归下降法的基本原理 递归下降法(Recursive-Descent Parsing) 对每个非终极符构造相应的一个子程序(称为语法分析子程序)，其功能是识别、分析该非终极符所能推导出的字符串. 1.2 对文法的要求 为了保证推导的唯一性，对文法的要求与LL(1)文法相同。即对于文法G中任一非终极符A，其任意两个产生式A??和A??，都要满足下面条件： Predict(A??)?Predict(A??)=? 2.语法分析程序的构造 两个标准函数 ReadToken：把输入流的头符读入变量 token中 Match(a): if token=a then ReadToken else 出错 2.语法分析程序的构造 当产生式形如:A??1|?2|…|?n,则按下面的方法编写子程序A： procedure A( ) begin if token?Predict(A??1) then ?(?1) else if token?Predict(A??2) then ?(?2) else …… if token?Predict(A??n) then ?(?n) else error( ) end 其中对?i=X1X2…Xn，?(?i)=?(X1);?(X2);…;?(Xn); 如果X?VN，?(X)= X(); 如果X?VT，?(X)= Match(X); //即if(token==X)ReadToken(); 如果X= ?，?(?) = skip(空语句). 2.语法分析程序的构造 主程序： void main(){ ReadToken(); S( ); if (token==#) 成功； else 失败 } 2.语法分析程序的构造 具体构建流程 给定一个文法G 求每条规则的Predict集 写针对每个非终极符的函数 写主函数 例： E? ? T E’ E’ ? + T E’ | ? T ? F T’ T’ ? * F T’ | ? F ? i | ( E ) procedure E’ ( ) begin if token=“+” then Match(+); T； E’ else if token? { ) , # } then skip else err( 2 ) end; procedure T’ ( ) begin if token=“ * ” then Match( * ); F； T’ else if token? { +,) , # } then skip else err( 4 ) end; procedure F ( ) begin if token=“ i” then Match( i ) else if token=“(” then Match( ( ); E; Match( ) ) else err( 5 ) end; * * 例如：一条产生式： While_Stm→while Exp do Stm 则对应产生式右部的