词法分析器-->output: 记号 --> 语法分析器 -->output: AST 抽象语法树

context-free 上下文无关

Top-down 自顶向下:

意思就是从production rules的开始符号开始出发，所以叫Top--down.

如果可以推导出input String 那么就算成功。底下的例子就是从E 先 尝试第一个Production

E - > T+E 然后再第二个Production。。。

Recursive Descent由于算法用到了Backtrack 效率有点差，所以需要线性时间的算法，引出了 LL(1)

Recursively Descent: 递归下降  也叫预测分析  Easy to implement.

Idea: 每个Non-Terminal 构造一个 分析函数， 失败的就backtrack。 

上面情况前看一个符号会发现有好几种情况。[上述没有使用前看符号的Recursive descent]

如果对上述使用LL(1)的话 我们需要使用Left-factor  因为上面情况前看一个符号会发现有好几种情况

某种意义说recursive descent = LL(0)

所以我们需要使用Left-factor before LL(1) 

递归下降 无限循环问题：  S---> Sa

一直进入S，需要使用Elimination left recursive.

Bottom-up parsing:  也叫LR parsing, 不需要Left Factorized.自底向上。First/Follow set

Shift-Reduce:

w is a string of terminals 因为 bottom-up parse 的right-most derivation in reverse性质。

左边是被parsed后的结果，右边是要parse的input。从右往左是parsing，从左往右是reverse order  derivation? 那么rightmost derivation的话 X->beta 却没有改变w，只能证明w是一个terminals.

Predictive Parsing:

deterministic

LL(1)分析算法： 从左向右读， 最左推导，用一个前看符合。 分析高效，Linear Time, Debug信息准确。Main: idea   Table Driven Algorithm. 

这里只前看一个符号，比如T看到哦 是个Int，然后就会很confusing。有2种possible情况

这样的话又要需要试错然后backtrack。。

需要Left-factorization:

用表把不同场景应该怎么parse记录一下

First/Follow sets

First: 如果能够从这个non-terminal x derive 出一个Production such that 第一个字母是a.

那么a就在x的firstset。

Follow: A不能够Derive出t, 但是t是A的production后的第一个字母。t in followset of(A)

这里还有一个重点： A --> e 表示A可以通过一系列move变成e=消失了。

Follow：

Look at where the symbol is used! Also: Follow(x) is subset of FollowB 炒鸡重要

For each non-terminal and token, there's only 1 procedure that could lead to success.

总结：

所以其实Parser的任务就是判断input的这个东西符不符合这个语言的production rules

要么我能够从production rules开始推导出你这个语句，可以你就是valid。[top down].

要么你从这个语句能够推导回我的production rule的起点：E. 那么你就是valid [bottom up]

然后中间各种predictive， 那些都是为了加速parsing的过程。

当然，最后要output出一个AST 语法树！！！