Specification of formal languages.
Name of a structural type.
(Terminal) symbols and non-terminals.
<non-terminal > ::= form1 | form2 | ... | formn