语法分析注意点

一棵分析树可对应多个推导序列，但是分析树和最左（右）推导序列之间具有一一对应关系

如果一个文法中存在某个句子有两棵分析树,那么该句子是二义性的。

对于任意一个上下文无关文法，不存在一个算法，判定它是无二义性的；但能给出一组充分条件，满足这组充分条件的文法是无二义性的。

证明文法生成的语言

上下文无关文法比正则表达式的能力更强

文法分类  0型文法 上下文有关文法 上下文无关文法 正则文法  每一类逐渐对产生式施加限制，表示范围逐步缩小

消除二义性

消除左递归

提取左公因子

自顶向下分析是从文法的开始符号出发，试构造出一个最左推导，从左至右匹配输入的单词串。

带回溯的自顶向下分析方法在实际应用中价值不大, 效率很低。

在自顶向下的分析技术中，通常使用向前看几个符号来唯一地确定产生式（这里假定只看一个符号）

First (a )   可以从α推导得到的串的首符号的集合

Follow (A)  可能在某些句型中紧跟在A右边的终结符号的集合

First(a)的求法             终结符号  非终结符号  空

Follow(a)的求法          多练习一下

将右端结束标记$放到Follow(S)中  

如果存在产生式A ->αBβ，那么First(β)中所有非ε的符号都在Follow(B)中。

如果存在一个产生式A ->αB，或者A -> αBβ且First(β)包含ε，那么Follow(A)中的所有符号都加入到Follow(B)中。

LL(1)文法的定义  表示从左到右扫描输入  生成一个最左推导  为做出分析动作的决定，每一步只需向前看 1 个符号。

输入串以$为结束标记。这相当于对文法作扩充，即增加产生式 S’→S$。所以Follow(S)一定包含$。