[工学]上海大学 计算机 编译原理 沈俊 chap5.pptVIP

* 消除间接左递归 A→aB A→Bb B→Ac B→d A→aB A→Bb B→aBc|Bbc B→d B→(aBc|d)B’ B’→bcB’| ? A→aB A→ Acb|db B→Ac B→d A→(aB|db)A’ A’→cbA’| ? 它们是LL(1) 文法？ * 文法消除左递归的要求 无回路(A(A (A) 1. 无空产生式： A→? 2. 没有有害规则: A→A * 文法消除左递归的算法 1. 以某种顺序将文法非终结符排列A1 ,A2 …An 2. for (i=1;i= n; i++) { for (j=1; j=i-1; j++) { 用Ai-?1r| ?2r…| ? k r替代 形如Ai-- Ajr的规则,其中 Aj-- ?1| ?2…| ?k是关于Aj的全部产生式; } 消除Ai规则的直接左递归; } 3. 化简由2得到的文法 * 消除间接左递归示例 G[S]: (1) S→Qc|c 　(2) Q→Rb|b (3) R→Sa|a 设非终结的排序为： S、Q、R (4) R→Qca|ca|a (5) R→Rbca|bca|ca|a G[S]: (1) S→Qc|c 　(2) Q→Rb|b (3) R→(bca|ca|a)R’ (4) R’ →bcaR’| ? (3) R→Sa|a (2’) Q→Sab|ab|b (1’) S→Sabc|abc|bc|c G[S]: (1) S→(abc|bc|c)S’ (2) S’→abcS’|? 　(3) Q→Rb|b (4) R→Sa|a * 不确定的自顶向下分析思想 例：文法G：S → cAd A → ab A → a识别输入串w=cabd是否该文法的句子 S S S c A d c A d a b 推导过程：S ? cAd ? cabd * 通过回朔试探寻找匹配的最左推导 文法G：S → cAd A → ab |a 识别输入串w=cad 试探：推导过程：S ? cAd ? cabd S S S c A d c A d a b 回朔:试探推导过程：S ? cAd ? cad S c A d a * 确定的自顶向下分析思想 递归子程序 预测分析方法 * 递归子程序法实现表达式语法分析 表达式的EBNF表达式→[+|-]项{（+|-）项}项→因子{（*|/）因子}因子→ident|number|‘（’表达式‘）’ * 表达式的语法分析程序 void expr { if (sym in [ plus, minus ]) { getsym; term; }else term;while (sym in [plus, minus]) { getsym; term;} } 表达式∷=[+|-]项{（+|-）项} * 项的语法分析程序 void term { factor; while (sym in [times,slash]) { getsym; factor; } } 项∷=因子{（*|/）因子} * 因子的语法分析程序 void factor { if (sym==ident) getsym ; else if (sym==number) getsym else if (sym==‘(‘) { getsym; expr; if (sym==‘)’) getsym; else error; } else error; } 因子∷=ident|number|‘（’表达式‘）’ * 预测分析程序模型 Input # 总控程序 预测分析表 st