自顶向下(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表中有匹配的项),则选择移入,否则选择归约。