ANTLRと他の形式のBNFを変換するツールはありますか？

Question

ANTLR文法構文と他のBNF構文を変換するツールはありますか？特定のバックナス - ナウアフォーム（BNF、EBNF、ABNF、W3C-BNF、XBNF ...）がいくつかあります。 see this list。 ANTLR文法構文はdescribed by examplesのように見えます。 ANTLR文法ファイルには文脈自由構文の仕様以上のものが含まれていますが、少なくとも共通部分集合を変換できるはずです。

Answer 1

は、ヤコブは書きました：

ANTLR文法構文は単なる例で説明しているようです。

ANTLR（V3）がこの文法で（テレンス・パー自身がそれを置くよう） "独自の言葉で" 書き込み：

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

ヤコブは書きました：

しかし、あなたは少なくともc ommonサブセット - 誰でもまだ自動的に完了していますか？

これはわかりません。存在していれば、私はこのツールが定期的に読んだANTLRメーリングリストで議論されることはありませんでした。

多くのBNF-variantでは、left-recursiveのルールが許されています.ANTLRのようなLL-パーサ生成器では対応できないルールです。もちろん、左の再帰的なルールはツールで再計算することができますが、それはややこしいかもしれません。手動で行うよりもはるかに「読みやすい」文法になるでしょう。

ANTLR文法をBNFのような形式に変換することは、最も単純な文法では簡単ですが、私は推測しやすいでしょう。さまざまな種類の述語がANTLR文法に入れられるとすぐに、変換がやりにくくなる可能性があります。

Answer 2

# 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`