\begin{definition}[Definition:Backus-Naur Form]
'''Backus-Naur Form''' (abbrevated '''BNF''') is a (formal) metalanguage for defining the syntax of a formal language $\LL$.
As such, it is a formal grammar for $\LL$.
'''BNF''' is only applicable to formal languages that use the collation system of words and concatenation.
{{transclude:Definition:Backus-Naur Form/Alphabet
  | section  = definition
  | increase = 1
  | title    = Alphabet
  | header   = 3
  | link     = true
}}
{{transclude:Definition:Backus-Naur Form/Rules of Formation
  | section  = definition
  | increase = 1
  | title    = Rules of Formation
  | header   = 3
  | link     = true
}}
{{transclude:Definition:Backus-Naur Form/Specification
  | section  = definition
  | increase = 1
  | title    = Specification
  | header   = 3
  | link     = true
}}
\end{definition}