第四章-语法分析

1、语法分析器

语法分析器的工作本质上就是按文法的产生式，识别输入符号串是否为一个句子。

判断方法：自上而下的分析、自下而上的规约

2 ， 自上而下面临的问题

1）.自上而下的主旨：对任何输入串，试图用一切办法，从文法开始符号出发，自上而下地为输入串建一棵语法树/为输入串寻找一个最左推导。

2）.匹配过程：

1）从文法的开始符号产生根结S，指示器IP指向输入串x的第一个字符，用S的语法规则发展语法树。

2）用S的子结从左至右地匹配整个输入串。

若遇到非终结符，则扩展，由非终结符的候选式的终结符去匹配x，匹配成功则IP指向下一输入符号；不成功把发展的子树注销，把IP恢复。在试探非终结符的其他候选式。

若遇到终结符，直接匹配，匹配成功则IP指向下一输入符号；不成功则IP不变，看下一子结。

3）.自上而下的问题：左递归（在扩展语法树时，发现是非终结符→非终结符，不停地扩展，还未匹配输入符号），回溯（工作量大），虚假匹配，定位出错位置，效率。

3、(1) 分析法

[1]（消除直接左递归的方法）

设有产生式：P→Pα1|Pα2|…|Pαm|β1|β2|…|βn，其中每个βi不以P开头，每个αi不为ε

消除P的直接左递归性就是把这些规则改写成：  P→β1P’|β2P’|…|βnP’      P’→α1P’| α2P’|…|αmP’| ε

[2]（消除间接左递归的方法）

(1) 将间接左递归改造为直接左递归。将文法中所有如下形式的产生式：
            Pi →Pjγ|β1|β2|…|βn             Pj→δ1|δ2|δ3|…|δk

            改写成：  Pi →δ1γ|δ2γ|δ3γ|…|δkγ|β1|β2|…|βn

(2)消除直接左递归

    P→ β1P'| β2P'|...| βnP'       P'→ α1 P'| α2 P'|...|αm P'| ε

（3）化简改写后的文法，即去除那些从开始符号出发却永远无法到达的非终结符的产生规则。

[3]（消除回溯）

定义FIRST集：令文法G是不含左递归的文法，对G的非终结符的候选α，定义它的开始符号（终结首符）集合：

  FIRST( a)={a|a=>>a....,a<Vt}  

特别地，如果α=》ε，则ε∈FIRST(α)。

如果非终结符A的任意两个候选式αi和αj的开始符号集满足FIRST(αi)∩FIRST(αj)=Φ，则A可以根据所面临的第一个输入符号，准确地指派一个候选式α去执行任务，α是那个FIRST集含a的候选式，即  a ∈FIRST(α)。

提取公共左因子：

假设A的产生式为：A→δβ1|δβ2|…|δβn|γ1| γ2|…|γm，其中每个γ不以δ开头，那么把这些产生式改写为:  A→δA’ |γ1| γ2|…|γm         A’→β1|β2|…|βn。

反复提取左因子(包括对新引进的非终结符，例如A’)。

[4]（FOLLOW集）

对文法G的任何非终结符A，定义它的后继符号集合：

FOLLOW(A)={a|S=>>...Aa....a<Vt}

特别地，如果S=*》…A，则#∈FOLLOW(A)。

FOLLOW(A)集合是所有句型中出现在紧接A之后的终结符号或#所组成的集合。

当非终结符A面临输入符号a，且a不属于A的任意候选式的FIRST集但A的某个候选式的FIRST集包含ε时，只有当a ∈FOLLOW(A)，才可能允许A自动匹配。

[4]（不带回溯的自上而下分析的文法条件（LL(1)文法））
(1)文法不含左递归。
(2)对于文法中每一个非终结符A的各个产生式的候选式的FIRST集两两不相交。即，若
A→α1|α2|…|αn
则 FIRST(αi)∩FIRST(αj)=Φ (i≠j)。
(3)对于文法中的每个非终结符A，若它的某个候选首符集包含ε,则
FIRST(A)∩FOLLOW(A)=Φ

如果一个文法G满足以上条件，则称该文法G为LL(1)文法(第1个L代表从左到右扫描输入串，第2个L代表最左推导，1表示分析时每一步只看1个符号)。

4,程序

预测分析表的构造：

1.     FIRST(X)
1）若X终结符，则FIRST(X)={X}
2）若X为非终结符，且有X->a …的产生式，则把a加入到FIRST(X)中；
3）若X->Y…是一个产生式，且Y为非终结符，则把FIRST (Y)-ε加入到FIRST(X)中；
若X->Y1Y2Y3….YK,是产生式， Y1Y2Y3….Yi-1是非终结符，而且ε属于 FIRST (Yj)(1<=j<=i-1),则把FIRST (Yj)-ε加入到FIRST(X)中；如果ε属于所有的FIRST(Yj)，则ε加入到FIRST(X)中
2.     FOLLOW(X)
1）对于文法的开始符，置#于FOLLOW(S)中
2）若A->αBβ, 则把FIRST (β)-ε加入到FOLLOW(B)中，
3）若A->αB 是一个产生式，或 A->αBβ是一个产生式，而β-> ε,则把FOLLOW(A)加入到FOLLOW(B)中
3.     预测分析表的构造
对文法G的每个产生式， A->α，进行下面的处理
1）对每个终结符a,如果a属于FIRST(α),则把该产生式写入到M[A,a]
2） 若ε属于FIRST(α)，则对任何b属于FOLLOW(A), 把该产生式加入到M[A,b]
3）所有无定义的M[A,a]标上出错标志

结论：一个文法G的预测分析表不含多重入口，当且仅当该文法是(1)

5，习题