Bnf

A Metalanguage notation for specifying Context-free grammars, using production rules of the form $\text{<nonterminal>} ::= \text{expression}$ to define the syntax of formal languages.