一棵分析树可对应多个推导序列，但是分析树和最左（右）推导序列之间具有一一对应关系
如果一个文法中存在某个句子有两棵分析树,那么该句子是二义性的。
对于任意一个上下文无关文法，不存在一个算法，判定它是无二义性的；但能给出一组充分条件，满足这组充分条件的文法是无二义性的。
证明文法生成的语言
上下文无关文法比正则表达式的能力更强
文法分类 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)一定包含$。