在BNFC语法中设置优先级级别

Question

背景：

我正在学习一个软件语义类，我们应该为一个名为 we 的玩具语言创建一个小型编译器和运行时。我们得到了Java的代码框架，但是我们可以使用任何我们想要的语言。我认为这是一个排练语法的机会，我认为在C++做实验室是很酷的。

现在，我在设置语句的优先级规则时遇到了一些问题。下面是我的BNFC语法文件：

SSkip.  Stmt    ::= "skip";
SAss.   Stmt    ::= VarName ":=" AExp;
SIf.    Stmt1   ::= "if" BExp "then" Stmt "else" Stmt;
SWhile. Stmt1   ::= "while" BExp "do" Stmt;
SComp.  Stmt    ::= Stmt ";" Stmt;
coercions Stmt 1;

token VarName   (letter (letter | digit) *);

EAdd.   AExp    ::= AExp "+" AExp1;
ESub.   AExp    ::= AExp "-" AExp1;
EMul.   AExp1   ::= AExp1 "*" AExp2;
EDiv.   AExp1   ::= AExp1 "/" AExp2;
EInt.   AExp2   ::= Integer;
EVar.   AExp2   ::= VarName;

coercions   AExp    2;

BTrue.  BExp1   ::= "true";
BFalse. BExp1   ::= "false";
BNeg.   BExp    ::= "not" BExp;
BConj.  BExp    ::= BExp "and" BExp;
BLeq.   BExp    ::= AExp "<=" AExp;

coercions BExp 1;

我想要的是输入

while true do skip; x:=y

按照我的复合规则被解析为

(SComp [SWhile [BTrue] [SSkip]] [(SAss "x" [EVar "y"])])

也就是说，我不希望分配成为循环体的一部分。然而，我得到的是

(SWhile [BTrue] [(SComp SSkip (SAss "x" [(EVar "y")]))])

如您所见，while-循环的主体由复合语句组成，这不是我想要的。我应该如何设置我的优先规则来达到这一效果？

Answer 1

结果我误解了我的任务，有点。我所描述的优先规则是在我的教程中提出的，但是由于我的主要关注是与老师给出的解析器兼容，我尝试了上面的代码，它也将作业解析到了正文中。

我想写的程序应该是“简单”的：

(while true do skip) ; x := y

但是嘿，至少它是兼容的！

Answer 2

我认为问题在于，Scomp是Stmt的一种类型，无法从词汇上将它与简单的Stmt区分开来。

如果规则是

Scomp. Stmt ::= "{" Stmt ";" Stmt "}";

不会有任何含糊之处。在你所知道的任何一种普通语言中，复合语句都有开始和结束标记，这是有原因的。