语法分析-自上而下分析 知识总结

基本思想

它从文法的开始符号出发，反复使用各种产生式，寻找"匹配"的推导。
主旨： 从文法开始符号出发，自上而下地为输入串建立一颗语法树，或者为输入串寻找一个最左推导。

回溯与左递归

当某个非终结符有多个产生式候选时，可能带来如下问题：
回溯： 分析过程中，当一个非终结符用某一个候选匹配成功时，这种匹配可能是暂时的。出错时，不得不“回溯”。
左递归： 如果存在非终结符P
含有左递归的文法将使自上而下的分析陷入无限循环。

LL(1)文法

构建不带回溯的自上而下分析算法

消除文法的左递归性

1. 直接左递归的小消除
   假定关于非终结符P的规则为
       P→P$\alpha$ | $\beta$，其中$\beta$不以P开头。
   我们可以把P的规则等价地改写为如下的非直接左递归形式：
                  P→$\beta$P’
                  P’→$\alpha$P’|$\epsilon$
   一般而言，假定P关于的全部产生式是
   P→P$\alpha$₁ | P$\alpha$₂ | … | P$\alpha$ _m| $\beta$₁ |$\beta$₂|…|$\beta$_n
   其中，每个$\alpha$都不等于$\epsilon$，每个$\beta$都不以P开头
   那么，消除P的直接左递归性就是把这些规则改写成：
   P→$\beta$₁P’ | $\beta$₂P’ | … | $\beta$_nP’
   P’→$\alpha$₁P’ | $\alpha$₂P’|… | $\alpha$_mP’ | $\epsilon$

一个文法消除左递归的条件：
  不含以$\epsilon$为右部的产生式
  不含回路。

2. 消除左递归的算法
   
   1.把文法G的所有非终结符按任一种顺序排列成P₁，P₂，…，P_n；按此顺序执行；
   2.FOR i:=1 TO n DO
    BEGIN
      FOR j:=1 TO i-1 DO
        把形如P_i→P_j$\gamma$的规则改写成
        Pi→$\delta$₁$\delta$|$\delta$₂$\delta$|…|$\delta$_k$\gamma$ ;
        (其中Pj→$\delta$₁| $\delta$₂|…| $\delta$_k是关于P_j的所有规则)
      消除关于P_i规则的直接左递归性
    END
   3.化简由2所得的文法。去除那些从开始符号出发永远无法到达的非终结符的产生规则。
   

克服回溯

产生回溯的原因： 推导时，若产生式存在多个候选式，选择哪个进行推导存在不确定性。

对文法的任何非终结符，当要它去匹配输入串时，能够根据它所面临的输入符号准确地指派它的一个候选去执行任务，并且此候选的工作结果应是确信无疑的。

1. FRIST集

令G是一个不含左递归的文法，对G的所有非终结符的每个候选$\alpha$定义它的终结首符集FIRST($\alpha$)为：

若 ，则规定$\epsilon$$\in$FIRST($\alpha$)。
如果非终结符A的所有候选首符集两两不相交，即A的任何两个不同候选$\alpha$_i和$\alpha$_j
        FIRST($\alpha$_i)∩FIRST($\alpha$_j)＝$\Phi$
当要求A匹配输入串时，A就能根据它所面临的第一个输入符号a，准确地指派某一个候选前去执行任务。这个候选就是那个终结首符集含a的$\alpha$。

2. 提取公共左因子

假定关于A的规则是
  A→$\delta$$\beta$₁ | $\delta$$\beta$₂ | …| $\delta$$\beta$_n| $\gamma$₁ | $\gamma$₂ | … | $\gamma$_m (其中，每个$\gamma$不以$\delta$开头)
那么，可以把这些规则改写成
  A→$\delta$A’ | $\gamma$₁ | $\gamma$₂ | … | $\gamma$_m
  A’→$\beta$₁ | $\beta$₂ | … | $\beta$_n
经过反复提取左因子，就能够把每个非终结符(包括新引进者)的所有候选首符集变成为两两不相交。

3. FOLLOW集

假定S是文法G的开始符号，对于G的任何非终结符A，我们定义

特别是，若 ，则规定＃$\in$FOLLOW(A)

4. 构造不带回溯的自上而下分析的文法条件

1. 文法不含左递归，
2. 对于文法中每一个非终结符A的各个产生式的候选首符集两两不相交。即，若
           A→$\alpha$₁|$\alpha$₂|…|$\alpha$_n
       则 FIRST($\alpha$_i)∩FIRST($\alpha$_j)＝$\Phi$ (i$\ne$j)
3. 对文法中的每个非终结符A，若它存在某个候选首符集包含$\epsilon$，则
       FIRST($\alpha$_i)∩FOLLOW(A)=$\Phi$  i=1,2,…,n

如果一个文法G满足以上条件，则称该文法G为LL(1)文法。

5. 构造FIRST($\alpha$)

对每一文法符号X$\in$V_T∪V_N构造FIRST(X)
连续使用下面的规则，直至每个集合FIRST不再增大为止：

1. 若X$\in$VT，则FIRST(X)＝{X}。
2. 若X$\in$VN，且有产生式X→a…，则把a加入到FIRST(X)中；若X→$\epsilon$也是一条产生式，则把$\epsilon$也加到FIRST(X)中。
3. 若X→Y…是一个产生式且Y$\in$V_N，则把FIRST(Y)中的所有非$\epsilon$元素都加到FIRST(X)中；
   若X→Y₁Y₂…Y_k是一个产生式，Y₁，…，Y_i-1都是非终结符，而且，对于任何j，1$\le$j$\le$i-1，FIRST(Y_j)都含有$\epsilon$，则把FIRST(Y_i)中的所有非$\epsilon$-元素都加到FIRST(X)中；特别是，若所有的FIRST(Y_j)均含有$\epsilon$，j＝1，2，…，k，则把$\epsilon$加到FIRST(X)中。

6. 构造FOLLOW(A)

对于文法G的每个非终结符A构造FOLLOW(A)的办法是，连续使用下面的规则，直至每个FOLLOW不再增大为止：

1. 对于文法的开始符号S，置 ＃ 于FOLLOW(S)中；
2. 若A→$\alpha$B$\beta$是一个产生式，则把FIRST($\beta$)\{$\epsilon$}加至FOLLOW(B)中；
3. 若A$\to$$\alpha$B是一个产生式，或A$\to$$\alpha$B$\beta$是一个产生式而(即$\epsilon$FIRST($\beta$))，则把FOLLOW(A)加至FOLLOW(B)中。

示例

预测分析程序

分析表M[A，a]的构造

一个文法G地预测分析表不含多重定义出口，当且仅当该文法为LL（1）文法。

1.构造FIRST($\alpha$),构造FOLLOW(A)

2.构造分析表M[A，a]

1. 对文法G的每个产生式A→$\alpha$执行第2步和第3步；
2. 对每个终结符a $\in$FIRST($\alpha$)，把A→$\alpha$加至M[A，a]中；
3. 若$\epsilon$$\in$FIRST($\alpha$)，则对任何b$\in$FOLLOW(A)把A→$\alpha$加至M[A，b]中。
4. 把所有无定义的M[A，a]标上“出错标志”。

总控程序

示例