创建shift-reduce / reduce-reduce空闲语法

Question

我正在尝试用sablecc实现一个简单的类似Java的语言解析器，尽管我在实现if、while和block语句时经常遇到shift-reduce / reduce-reduce问题。

例如，我考虑了以下几点：

stmts = stmt*；

stmt = if_stmt | block_stmt | while_stmt；

block_stmt = { stmts } | ;；

while_stmt = while ( predicate ) { stmts } | while ( D24 ) ;

例如，这种语法会导致这样的问题:当你有某种形式的东西

while (true) ;

解析器将无法知道是只减少; (来自block_stmt)还是完整的while (true); (来自while_stmt)。

我一直在到处阅读shift-reduce / reduce-reduce问题的原因，我想我理解它们。但一件事是知道是什么导致了它们，而另一件完全不同的事情是知道如何组织语法，以便我避免它们。我尝试过以非常不同的方式实现语法，但最终还是遇到了问题。

我猜，与其只是试图从特定的ss / rr问题中逃脱，还不如有一种范式来遵循这样的范式来避免这种问题？我相信我处理这个问题的方式一定是完全错误的：

有没有关于如何从头开始构建语法而不陷入所有这些陷阱的资源？关于这个问题的资源往往要么非常简单(说明明显的if then else问题)，要么是完全标记的语法，这是一种难以理解的语法。

Answer 1

问题是你的语法被指定了，比如分号可以解释为while_stmt的分号或者block_stmt的分号……不，对不起，不是那样，但不知何故语法是多余的，因为{ stmt }在RHS上出现了两次。通常你会这样做

 stmts ::= stmt | stmts stmt
 block_stmt ::= { stmts }
 stmt ::= ... | block_stmt | ;     // empty
 while_stmt ::= while ... stmt