指定语法时出现流氓错误

Question

我在 rascal 中有一个用于指定玩具语法的简单文件

module temp

import IO;

import ParseTree;

layout LAYOUT = [\t-\n\r\ ]*;

start syntax Simple 
  =  A B ;

syntax A = "Hello"+ ("joe" "pok")* ;
syntax A= "Hi";
syntax B = "world"*|"wembly";
syntax B =    C | C C*   ;


public void main () {
println("hello");
iprint(parse(#start[Simple], "Hello Hello world world world"));
}

这很好，但是问题是我不想写

syntax B =    C | C C*   ;

我想写

syntax B =  (  C | C C*  )? 

但它被流氓拒绝为解析错误-即使所有

syntax B =  (  C  C C*  )? ;

syntax B =  (  C |  C*  )? ;

syntax B =    C | C C*   ;

接受很好。谁能向我解释我做错了什么？

Answer 1

序列符号（嵌套序列）总是需要括号中的无赖。元符号定义为

syntax Sym = sequence: "(" Sym+ ")" | opt: Sym "?" | alternative: "(" Sym "|" {Sym "|"}+ ")" | ... ;

因此，在您的示例中，您应该编写：

syntax B = (C | (C C*))?;

可能令人困惑的是，Rascal 使用 |签两次。一次用于分离顶级替代方案，一次用于嵌套替代方案：

syntax X = "a" | "b"; // top-level
syntax Y = ("c" | "d"); // nested, will internally generate a new rule: 
syntax ("c" | "d") = "c" | "d";

最后，正常的替代品有没有括号的序列，如：

syntax B 
  = C
  | C C*
  ;
// or less abstractly:
syntax Exp = left Exp "*" Exp
           > left Exp "+" Exp
           ;

顺便说一句，我们通常避免使用太多嵌套的正则表达式，因为它们是如此匿名，因此使解析树的解释变得更加困难。正则表达式的最佳用法是表达我们对内部结构不太感兴趣的词法语法。