LR(0)解析冲突(以某种方式移位/移位)

时间:2017-02-07 17:09:39

标签: parsing lr

我在为大学的解析课程做一个练习时遇到了一个问题。具体问题是使用规范LR项构造解析表。

给定的语法生成规则如下:

S -> NP VP  
NP -> NP PP  
NP -> a n  
VP -> v  
VP -> VP NP  
VP -> VP PP  
PP -> p NP  

现在的问题是,当我尝试通过弄清楚状态来构建表时,我最终遇到了这个问题:

at I_0  
S'-> .S   
S->.NP VP      
NP->.NP PP/.a n    

在上述情况中,我必须对S-> .NP VP和NP-> .NP PP执行操作。这表明当我创建解析表时,我将有两个状态,NP可以在其中进行解析。我在这里错过了什么吗?

请注意,虽然我可以看到这个问题不是前瞻问题,但这个问题专门针对LR(0)练习。

0 个答案:

没有答案