stanford compiler学习笔记(二)

自顶向下（TOP-DOWN）解析：

预测分析(Predictive parsers)

look ahead a few tokens

LL(k) ：没有回溯的TOP-DOWN方法

Left-to-right，Left-most，look ahead k tokens（如LL(1)）

构造First Set和Follow Set。

解析：转移状态表

非递归的预测分析：产生式栈

自底向上（BOTTOM-UP）解析：

Shift-Reduce算法

Shift：移进

Reduce：归约。一次归约是一次推导的反向动作。

整个算法就是反向构造出一个最右推导。

可能出现冲突，如到达一个状态时，即可以移进，也可以归约。或者可以归约到多个不同状态。

LR(k)语法分析

SLR（简单LR）分析：表格驱动（与LL相似）

S：simple, L：left-to-right，R：反向构造最右推导序列，k：look ahead k tokens

项集：

A-->XYZ产生4个项：

A-->．XYZ (1)

A-->X．YZ (2)

A-->XY．Z (3)

A-->XYZ． (4)

(1)式的意思是：希望接下来的输入看到一个从XYZ推导得到的串。

(2)式的意思是：刚刚已经在输入中看到了一个由X推导的串，希望接下来能看到从YZ推导得到的串。

(4)式的意思是：已经看到了产生式体XYZ，是时候把XYZ归约为A了。

具体地，先构造LR自动机，分析的时候，栈只保存状态。若自动机对输入能做状态转换（GOTO表中有匹配的项），则选择移入，否则选择归约。