Czy istnieją narzędzia do konwersji między ANTLR a innymi formami BNF?

Question

Czy są jakieś narzędzia do konwersji składni gramatyki ANTLR na i od innych składni BNF? Istnieje kilka form postaci Backus-Naur (BNF, EBNF, ABNF, W3C-BNF, XBNF ...) ze specyfikacją, np. see this list. Składnia gramatyki ANTLR wydaje się być tylko described by examples. Wiem, że pliki gramatyki ANTLR zawierają więcej niż specyfikację składni bezkontekstowej, ale powinieneś być w stanie przekonwertować przynajmniej wspólny podzbiór - czy ktoś jeszcze zrobił to automatycznie?

Answer 1

Jakob napisał:

Składnia gramatyki ANTLR tylko wydaje się być opisany za pomocą przykładów.

ANTLR (v3) jest napisane "w jego własnych słów" (jak sam Terence Parr umieścić go) w tej gramatyce:

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

Jakob napisał:

ale powinieneś być w stanie przekonwertować przynajmniej c ommon podzbiór - czy ktoś zrobił jeszcze automatycznie?

Nie to, co wiem. A jeśli to istnieje, nigdy nie widziałem tego narzędzia omawianego na liście mailingowej ANTLR, którą czytam regularnie.

Należy również zauważyć, że wiele wariantów BNF zezwala na reguły left-recursive, coś, z czym generator parowania LL taki jak ANTLR nie może sobie poradzić. Lewe reguły rekursywne mogą oczywiście zostać ponownie przeanalizowane przez narzędzie, ale może to być raczej trudne i prawdopodobnie spowoduje, że gramatyka "czytelna" będzie znacznie mniejsza niż ta, którą można uzyskać, niż robi to ręcznie.

Jeśli chodzi o przekształcanie gramatyk ANTLR w formę podobną do BNF, to byłoby to łatwiejsze, ale tylko z najbardziej trywialnymi gramatykami. Gdy tylko różne typy predykatów zostaną wprowadzone do gramatyki ANTLR, konwersja może ponownie stać się trudna.

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`