| <reglo-file> | ::= | <declaration-list> |
| <declaration-list> | ::= | <declaration> |
| ∣ | <declaration> <declaration-list> | |
| <declaration> | ::= | <ident>( <ident-list>) = <expression>; |
| <ident-list> | ::= | <ident> |
| ∣ | <ident>, <ident-list> |
| <monomial> | ::= | <atom> |
| ∣ | [<atom-list>] | |
| <atom-list> | ::= | <atom> ∣ <atom>, <atom-list> |
| <atom> | ::= | <ident> |
| ∣ | - <ident> | |
| ∣ | ~<ident> |
| <expression> | ::= | <monomial> |
| ∣ | <expression> . <expression> | |
| ∣ | <expression>* | |
| ∣ | <expression> + <expression> | |
| ∣ | ~~ | |
| ∣ | eps( <expression>) | |
| ∣ | prefix( <expression>) | |
| ∣ | < <ident>( <monomial-list>) > | |
| ∣ | < <ident>> |