Symbols:Abbreviations/B/BNF

From ProofWiki
Jump to navigation Jump to search

Abbreviation: BNF

Backus-Naur Form (previously Backus Normal Form until the syntax was simplified by Peter Naur).

It was Donald Knuth who suggested the name change, on the grounds that "normal" is an inaccurate description.