Cactus supports EBNF
To further simplify grammar specifications, Cactus support EBNF notation:
exp+ (repetition, one or more)
exp* (repetition, zero or more)
exp? (optional part)
exp (',' exp)* (parentheses with several parts)
But what abstract syntax is constructed, and how do you refer to parts
of these compound constructions?