第4章语法分析-自上而下分析解析：.pptVIP

③ 构造LL(1)分析表 ④ 分析 a b c d e # S aAcBe A bA’ A’ bA’ ? B d 4、LL(1)文法 分析表有多重入口。 若一个文法G的分析表不含多重入口，则称它为LL(1)文法。 一个文法是LL(1)的，当且仅当G的每个非终结符A的任何两个侯选式α和β有 ①FIRST(α)∩FIRST(β)=? ②若ε?FIRST(β)，则有FIRST(α)∩FOLLOW(A)=? 　 LL(1)文法的性质： LL(1)文法是无二义的 LL(1)文法不含左递归 非LL(1)文法的改造 消除左递归 提左公因子 将产生式Ａ? ?β|?? 变换为： Ａ? ?B B ? β|? 例1：文法G（E）： E→E+T｜T T→T*F｜F F→i｜(E) FIRST(E)=｛(,i｝ FIRST(T)=｛(,i｝ FIRST(F)=｛(,i｝ 消左递归 E – TE’ E’ – +TE’ E’ – ?  例2：S →if C t S | if C t S e S C →b 提左因子 S →if C t S A A→ e S | ? First集 Follow集 S if #,e A e, ? #, e C b t M[A,e]={A→ e S A→ ? } 4.4 递归下降分析程序构造 一、递归子程序法的原理： 对文法中每个非终结符U（它们代表一定的语法成分）都编出一个子程序，以完成该非终结符号所对应的语法成分的分析和识别任务。 每个非终结符号的子程序功能是：用该非终结符的产生式规则右部符号串去匹配输入串。注：可匹配任何终结符，但搜索指针不前进。 使用自上而下的方法时前提是：消除左递归； 提取公共左因子。 当一个文法满足LL(1)条件时，我们就可以为它构造一个不带回溯的自上而下分析程序，这个分析程序是由一组递归过程组成的，每个过程对应文法的一个非终结符。这样的一个分析程序称为递归下降分析器。 如果用某种高级语言写出所有递归过程，那就可以用这个语言的编译系统来产生整个的分析程序。 例如，考虑文法： E→TE? E?→+TE? | ? T→FT? T?→*FT? | ? F→(E) | i 它的每个非终结符都有对应的递归过程，在分 析过程中，当需要从某个非终结符出发进行展 开时，就调用这个非终结符对应的子程序。 几个全局过程和变量 ADVANCE：是指把输入串指示器IP调至指向下一个输入符号 SYM：是指IP当前所指的那个输入符号 ERROR：为出错诊察处理程序 对应的递归过程如下： PROCEDURE E； BEGIN T；E? END； PROCEDURE E?； IF SYM=‘+’ THEN BEGIN ADVANCE； T；E? END PROCEDURE T； BEGIN F；T? END PROCEDURE T?； IF SYM=‘*’ THEN BEGIN ADVANCE； F；T? END； PROCEDURE F； IF SYM=‘i’ THEN ADVANCE ELSE IF SYM=‘(’ THEN BEGIN ADVANCE; E； IF SYM=‘)’ THEN ADVANCE ELSE ERROR END ELSE ERROR; 二、文法的另一种表示法 在元符号“→”和“|”的基础上，扩充几个元语言符号： 1. 用花括号{?}表示闭包运算?*。 2. 用 {?}n0表示?可任意重复0次至n次。 3. 用方括号[?]表示{?}10 ，即表示?的出现可有可无(等价于?|?)。 引入上述元符号的文法亦称扩充的巴科斯范 式。 例如，通常的“实数”可定义为： decimal→[sign]integer.{digit}[exponent] exponent→E[sign]integer integer→digit{digit} sign→ + | - 用扩充的巴科斯范式来描述语法的好处是，直观易懂，便于表示左递归消去和因子提取。对于构造自上而下分析器来说，采用这种定义系统描述文