SLR(1)Parser和epsilon参与其中

Question

我们假设我有以下语法:

S ? X  
X ? a | ?

如果那个语法没有?涉及,我会构建第一个状态,如:

S' ? .S
S ? .X
X ? .a

但这个?符号怎么样？我应该包括:

X ? .?

太？

如果是这样......当创建下一个州......我应该这样做GOTO(Io,?),是否是第一个州？

Answer 1

我同意霍华德的观点.你在DFA中的状态应该包含项目:x ? .这是我为SLR(1)解析器绘制的DFA,它识别使用两个epsilon产生的语法:

Answer 2

由于?不是终端本身,您必须将其从您的规则中删除

X ? .

然后你不会对GOTO"符号" 感到奇怪,?而是你的状态

S' ? S.

是图表中的接受状态.