如何使用Grammar-Kit

Question

我正在尝试将EBNF文件转换为IntelliJ Grammar-kit的工作BNF。

在EBNF中有这样的规则：

BinOpChar ::= "~" | "!" | "@" | "#" | "$" | "%" | "^" | "&" | "*" | "-"
BinOp ::= BinOpChar, {BinOpChar}

如何在不使用正则表达式的情况下创建此类规则？原因是这种构造经常发生，并且在正则表达式中变得重复。

为了清楚起见，我希望能够创建一个规则来匹配@@中的BinOpChar但不匹配@ @。这可能吗？

Answer 1

最简单的方法是独立列出每个运算符：

{
  tokens=[
    //...
    op_1='~'
    op_2='!'
    op_3='@'
    op_4='@@'
    op_5='#'
    //...
  ]
}

如果确实想要接受所有n + n ^ 2个令牌，则需要使用正则表达式：

{
  tokens=[
    //...
    bin_op:'regexp:[~!@#]{1,2}'
    //...
  ]
}

但是想法是，你想使用词法分析器来定义标记，并使用语法来定义表达式等等。所以在语法中如果你写：

{
  tokens=[
    space='regexp:\s+'
  ]
}

BinOp ::= BinOpChar [BinOpChar]
BinOpChar ::= "~" | "!" | "@" | "#"

然后它将接受@@和@ @。这有意义吗？