Question

是否有任何工具可以将ANTLR语法语法转换为其他BNF语法？ Backus-Naur形式（BNF，EBNF，ABNF，W3C-BNF，XBNF ......）有几种形式，例如规格，例如： see this list。 ANTLR语法语法似乎只是described by examples。我知道ANTLR语法文件包含的不仅仅是无上下文语法的规范，但你应该能够至少转换公共子集 - 有人自动完成了吗？

Answer 1

# Grammar Syntax

|                               | BNF                           | ISO EBNF                      | ABNF                          | ANTLR                         |
|:-----------------------------:|:-----------------------------:|:-----------------------------:|:-----------------------------:|:-----------------------------:|
| rule definition               | `<name> ::= ...`              | `name = ... ;`                | `name = ...`                  | `name : ... ;`                |
| terminal items                | `...`                         | `'...'` or `"..."`            | integer or `"..."`            | `'...'`                       |
| non-terminal items            | `<...>`                       | `...`                         | `...` or `<...>`              | `...`                         |
| concatenation                 | (space)                       | `,`                           | (space)                       | (space)                       |
| choice                        | `|`                           | `|`                           | `/`                           | `|`                           |
| optional                      | requires choice syntax[^1]    | `[...]`                       | `*1...` or `[...]`            | `...?`                        |
| 0 or more repititions         | requires choice syntax[^2]    | `{...}`                       | `*...`                        | `...*`                        |
| 1 or more repititions         | requires choice syntax[^3]    | `{...}-`                      | `1*...`                       | `...+`                        |
| n repititions                 |                               | `n*...`                       | `n*n...`                      |                               |
| n to m repititions            |                               |                               | `n*m...`                      |                               |
| grouping                      |                               | `(...)`                       | `(...)`                       | `(...)`                       |
| comment                       |                               | `(*...*)`                     | `;...`                        | `// ...` or `/* ... */`       |


[^1]: `optionalb ::= a b c d | a c d`

[^2]: `list ::= | listitem list`

[^3]: `list ::= listitem | listitem list`

Answer 2

Jakob写道：

ANTLR语法语法似乎只是通过示例来描述。

ANTLR（v3）用“用自己的话说”（正如Terence Parr自己所说的那样）写在这个语法中：

http://www.antlr.org/grammar/ANTLR/ANTLRv3.g

Jakob写道：

但你应该能够至少转换公共子集 - 有人自动完成了吗？

不是我知道的。如果确实存在，我从未在我定期阅读的ANTLR邮件列表中看到过这个工具。

另请注意，许多BNF变体允许left-recursive规则，这是像ANTLR这样的LL解析器生成器无法应对的。左边的递归规则当然可以通过该工具进行重新分解，但这可能相当棘手，并且可能导致比手动执行此操作的语法要少得多的“可读”语法。

至于将ANTLR语法转换为类似BNF的形式我觉得更容易，尽管只有最琐碎的语法。一旦将各种类型的谓词放入ANTLR语法中，转换可能会再次变得棘手。

Answer 3

我为此目的编写了翻译。 Universal-transpiler能够将ANTLR语法转换为PEG.js，nearley，ABNF，XBNF和其他几种语法符号。尚无法将ANTLR转换为W3C-BNF，但我将尝试在以后的版本中添加此功能。

此翻译器仅与ANTLR语言的一小部分兼容，但我希望它仍然有用。

Answer 4

有一个站点托管着各种各样的语法和工具，可以在它们的格式之间进行转换：

http://slebok.github.io/zoo/index.html

是否有工具可以在ANTLR和其他形式的BNF之间进行转换？

4 个答案: