编译原理-自上而下语法分析.pptVIP

第四章 语法分析—自上而下分析;内容;4.1 语法分析器的功能;4.1.1 语法分析器的功能;4.1.2 语法分析方法; S A A c a b d c a b d c a b d 规约过程构造的推导： cAd ? cabd S ? cAd;4.2 自上而下分析面临的问题;4.2.1 自上而下分析的主旨;4.2.2 回溯举例;实现途径 让每个非终结符对应一个递归子程序 如果发现某个候选与输入串相匹配，就用这个候选去扩展语法树，并返回“真”值 否则，保持原来的语法树和IP值不变，并返回“假”值;自上而下分析面临的五个问题 消除左递归性 克服回溯 消除虚假匹配 确定出错位置 避免穷尽一切;文法的左递归问题 一个文法是含有左递归的，若存在非终结符P 将使自上而下分析陷入无限循环 回溯问题 分析过程中，当一个非终结符用某一个候选匹配成功时，这种匹配可能是暂时的。这时，不得不“回溯”;4.3 LL(1)分析法;4.3.1 不带回溯的自上而下分析算法;4.3.2 左递归的消除（一）;4.3.2 左递归的消除（二）;4.3.2 左递归的消除（三）;4.3.2 左递归的消除（四）;4.3.2 左递归的消除（五）;4.3.2 左递归的消除（六）;4.3.2 左递归的消除（七）;4.3.2 左递归的消除（八）;4.3.3 回溯的消除（一）;令G是一个不含左递归的文法 对G的所有非终结符的每个候选?定义它的终结首符集FIRST(?)为;4.3.3 提公共左因子（二）;4.3.3 消除回溯、提左因子（三）;4.3.4 LL(1)分析条件（一）;4.3.4 LL(1)分析条件（二）;4.3.4 LL(1)分析条件（三）;4.3.4 LL(1)分析条件（四）;4.4 递归下降分析程序构造;4.4.1 递归下降分析器;4.4.2 扩充的巴科斯范式;4.4.3 扩充的巴科斯范式举例;4.4.4 语法图;4.5 预测分析程序;4.5.1 预测分析程序;4.5.1 预测分析程序工作过程;4.5.2 预测分析器模型;4.5.3 预测分析表;分析过程如下：;4.5.4 总控程序;4.5.5 预测分析算法;4.5.6 构造预测分析表;4.5.6.1 单个文法符号的FIRST集;4.5.6.2 文法符号串的FIRST集;4.5.6.3 构造FOLLOW集;4.5.6.4 预测分析表构造算法;4.5.6.5 构造分析表举例;例: 对于文法G(E) E→TE? E?→+TE? | ? T→FT? T?→*FT? | ? F→(E) | i 构造每个非终结符的FIRST和FOLLOW集合： FIRST(E) ={ (, i } FOLLOW(E) ={ ), # } FIRST(E?)={ +, ? } FOLLOW(E?)={ ), # } FIRST(T) ={ (, i } FOLLOW(T) ={ +, ), # } FIRST(T?)={ *, ? } FOLLOW(T?)={ +, ), # } FIRST(F) ={ (, i } FOLLOW(F) ={ *, +, ), #};4.5.6.6 LL(1)文法; 一个文法G为LL(1)的，当且仅当对于文法G中每一个非终结符A的任何两个产生式A→ ? | ?，下面的条件成立： 1. FIRST(? )∩FIRST(?)＝?;4.6 LL(1)分析中的错误处理;4.6.1 加入同步符号的LL(1)分析表;4.6.2 同步符号的选择;;练习一;文法G[s]: S→BA A→BS|d B→aA|bS|c 证明文法G是LL(1)文法 构造LL(1)分析表 写出句子adccd的分析过程 解： 一个LL(1)文法的充要条件是 对每一个非终结符A的任何两个不同产生式A→α|β，有下面的条件成立 FIRST(α)∩FIRST(β)=Φ 若β*?ε, 则有FIRST(α)∩FOLLOW(A)=Φ;练习二（二）;练习二（三）;练习二（四）;(3)在分析表的控制下，句子adccd的分析过程如下：