Backus-Naur-formalisme
Het Backus-Naur-formalisme (BNF) is een metasyntaxis om contextvrije grammatica's formeel te beschrijven, genoemd naar John Backus en Peter Naur, ontwerpers van de programmeertaal Algol. Soms wordt nog wel de naam Backus Normal Form gebruikt.
Een voorbeeld van BNF blijkt uit de definities in het Algol-60-report:
<letter> ::= A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z|a|b|c|d|e|f|g|h|i|j|k|l|m|n|o|p|q|r|s|t|u|v|w|x|y|z <digit> ::= 0|1|2|3|4|5|6|7|8|9 <identifier> ::= <letter> | <identifier><letter> | <identifier><digit>
Hiermee is gedefinieerd wat men onder een letter en een cijfer moet verstaan, en wat interessanter is, er staat wat een identifier is. Dat is een reeks van letters en cijfers, te beginnen met een letter.
BNF wordt veel gebruikt maar het wordt niet vaak beschreven.
Vaak zijn uitbreidingen nodig op het BNF. Ieder doet dat weer op zijn eigen manier, gebruikt andere symbolen en andere definities. Men spreekt dan wel over Extended BNF (EBNF) of Augmented BNF (ABNF). Er is een standaard voor metasyntaxis opgesteld door het ISO-comité: ISO-EBNF.
