项目的概念
右部某位置标有圆点的产生式称为相应文法的一个 ·LR(0)
项目(简称为项目)。
例如:$S \rightarrow{bBB}$
$S \rightarrow{·bBB}$
为移进项目$S \rightarrow{b·BB}$
、$S \rightarrow{bB·B}$
为待约项目。$S \rightarrow{bBB·}$
为规约项目
注:
- 项目描述了句柄识别的状态。
- 产生式
$A \rightarrow{\epsilon}$
只生成一个项目$A\rightarrow{·}$
增广文法
如果G
是一个以S
为开始符号的文法,则G
的增广文法$G^{'}$
就是在G
上加上新开始符号$S^{'}$
和产生式$S^{'}\rightarrow{S}$
而得到的文法。
引入这个新的开始产生式的目的是是的文法开始符号仅出现在一个产生式的左边,从