Parsing LR（1）解析中移位/归约冲突的定义
这样说是否正确： “当且仅当存在以下项时，LR（1）解析器中才会发生移位-减少冲突： A->alpha A->alpha.beta 这样跟随（A）和第一（beta）就不会分离 其中A是非终端，alpha和beta可能是语法符号的空序列。” （直观地说，这是因为无法根据堆栈顶部和前瞻性来确定移位还是缩小）Parsing LR（1）解析中移位/归约冲突的定义,parsing,compiler-construction,theory,lr,Parsing,Compiler Construction,Theory,Lr,这样说是否正确： “当且仅当存在以下项时，LR（1）解析器中才会发生移位-减少冲突： A->alpha A->alpha.beta 这样跟随（A）和第一（beta）就不会分离 其中A是非终端，alpha和beta可能是语法符号的空序列。” （直观地说，这是因为无法根据堆栈顶部和前瞻性来确定移位还是缩小） 注意：如果你们认为这取决于第一条/第二条评论定义的任何细节，我将提供。不，这句话是不正确的 在某些语法中假设： prog → stmt prog → prog stmt stmt → expr
注意：如果你们认为这取决于第一条/第二条评论定义的任何细节，我将提供。不，这句话是不正确的 在某些语法中假设：
prog → stmt
prog → prog stmt
stmt → expr
stmt → func
expr → ID
expr → '(' expr ')'
func → ID '(' ')' stmt
- 这些作品包括：
- A→ α
- A→ αβ
- 跟进（A）∩ 第一（β）≠ ∅
aprog → stmt
prog → prog stmt
stmt → expr
stmt → func
expr → ID
expr → '(' expr ')'
func → ID '(' ')' stmt
ID的状态中有一个shift-reduce冲突。（IDexprstmt（函数的一部分进行移位。）→ ID'（''）stmt尽管这是一个侧重点，但值得注意的是，FOLLOW set仅用于构造SLR（k）语法。规范LR（k）构造——甚至是LALR（k）构造——将成功地为语法生成解析器，在语法中使用FOLLOW set而不是完全的前向计算将表明（不存在）shift-reduce冲突。经典示例取自《龙之书》（我的副本中的示例4.39），使用稍微有意义的非终端名称编辑：
stmt → lvalue '=' rvalue
stmt → rvalue
lvalue → '*' rvalue
lvalue → ID
rvalue → lvalue
这里，FOLLOW（rvalue）是{=，$}，因此状态为{
stmt→ 左值·“=”右值右值→ 左值·