Category:Definitions/Backus-Naur Form

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Backus-Naur Form.
Related results can be found in Category: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.


Source of Name

This entry was named for John Warner Backus and Peter Naur.