如何使用语法工具包编写 BNF 规则

Question

我正在尝试将EBNF文件转换为IntelliJ语法套件的工作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 ::= "~" | "!" | "@" | "#"

然后它会接受@@和@ @.这有意义吗？