Fatal编程技术网
  • parsing/
  • Parsing SLR解析与ε产生冲突

Parsing SLR解析与ε产生冲突

parsing

Parsing SLR解析与ε产生冲突,parsing,grammar,lr,Parsing,Grammar,Lr,考虑以下语法 S -> aPbSQ | a Q -> tS | ε P -> r 在构造DFA时，我们可以看到应该有一个包含项的状态 Q -> .tS Q -> . (epsilon as a blank string) 因为t在follow（Q）中，所以似乎存在移位-减少冲突 我们能否断定语法的本质不是SLR（1）？（请忽略我之前的错误答案。） 是的，在此配置集中存在shift/reduce冲突这一事实足以表明此语法不是SLR（1）。（请忽略我之前的错

考虑以下语法

S -> aPbSQ | a

Q -> tS | ε

P -> r
在构造DFA时，我们可以看到应该有一个包含项的状态

Q -> .tS

Q -> .  (epsilon as a blank string)
因为t在follow（Q）中，所以似乎存在移位-减少冲突

我们能否断定语法的本质不是SLR（1）？

（请忽略我之前的错误答案。）

是的，在此配置集中存在shift/reduce冲突这一事实足以表明此语法不是SLR（1）。

（请忽略我之前的错误回答。）

是的，在此配置集中存在shift/reduce冲突这一事实足以表明此语法不是SLR（1）