Category:Backus-Naur Form

From ProofWiki
Jump to navigation Jump to search

This category contains results about Backus-Naur Form.
Definitions specific to this category can be found in Definitions/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.

This category currently contains no pages or media.