Is a metalanguage used to describe context-free grammars. It is commonly used to describe programming languages and other formal languages. BNF consists of a set of production rules that define how the language's symbols are combined to form expressions.