第04章_语法分析自上而下分析.pptVIP

第四章 语法分析—自上而下分析;内容;4.1 语法分析器的功能;4.1 语法分析器的功能; S A A c a b d c a b d c a b d 规约过程构造的推导： cAd ? cabd S ? cAd;4.2 自上而下分析面临的问题;4.2 自上而下分析面临的问题;当某个非终结符有多个产生式候选时，可能带来如下问题： 1.分析过程中，当一个非终结符用某一个候选匹配成功时，这种匹配可能是暂时的。这时，不得不“回溯”。 2.文法左递归问题。一个文法是含有左递归的，如果存在非终结符P 含有左递归的文法将使自上而下分析陷入无限循环。;4.3 LL(1)分析法;4.3.1 左递归的消除;4.3.1 左递归的消除;4.3.1 左递归的消除;4.3.1 左递归的消除;4.3.1 左递归的消除;4.3.1 左递归的消除;4.3.1 左递归的消除;4.3.1 左递归的消除;4.3.2 消除回溯、提左因子;令G是一个不含左递归的文法，对G的所有非终结符的每个候选?定义它的终结首符集FIRST(?)为：;4.3.2 消除回溯、提左因子;4.3.2 消除回溯、提左因子;4.3.3 LL(1)分析条件;4.3.3 LL(1)分析条件;4.3.3 LL(1)分析条件;4.3.3 LL(1)分析条件;4.4 递归下降分析程序构造;4.4 递归下降分析程序构造;对应的递归下降子程序为: ; PROCEDURE F； IF SYM=‘i’ THEN ADVANCE ELSE IF SYM=‘(’ THEN BEGIN ADVANCE; E； IF SYM=‘)’ THEN ADVANCE ELSE ERROR END ELSE ERROR;;主程序: PROGRAM PARSER; BEGIN ADVANCE; E; IF SYM ’#’ THEN ERROR END;;对应的递归下降子程序为: ;4.4 递归下降分析程序构造;4.4 递归下降分析程序构造;4.4 递归下降分析程序构造;E→T{+T} T→F{*F} F→i | (E) 可以用语法图来表示语言的文法。;可构造一组递归下降分析程序：;4.5 预测分析程序;4.5.1 预测分析程序工作过程;4.5.1 预测分析程序工作过程;4.5.1 预测分析程序工作过程;4.5.1 预测分析程序工作过程;4.5.1 预测分析程序工作过程;4.5.1 预测分析程序工作过程;分析过程如下：;4.5.2 预测分析表的构造;4.5.2 预测分析表的构造;3. 若A→?B是一个产生式，或A??B?是一个产生式而? ? (即??FIRST(?))， 则把FOLLOW(A)加至FOLLOW(B)中。;4.5.2 预测分析表的构造;4.5.2 预测??析表的构造;例: 对于文法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.2 预测分析表的构造;2. 若? ? (即??FIRST(?))， 则FIRST(? )∩FOLLOW(A)= ? 。;4.6 LL(1)分析中的错误处理;练习;练习2：有文法G[s]: S→BA A→BS|d B→aA|bS|c (1)证明文法G是LL(1)文法。 (2)构造LL(1)分析表。 (3)写出句子adccd的分析过程 解： (1)一个LL(1)文法的充要条件是：对每一个非终结符A的任何两个不同产生式A→α|β，有下面的条件成立： ① FIRST(α)∩FIRST(β)=Φ; ② 若β*?ε, 则有FIRST(α)∩FOLLOW(A)=Φ。;练习;练习;(3)在分析表的控制下，句子adccd的分析过程如下：