Symbols:Abbreviations/B/BNF
< Symbols:Abbreviations | B
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.
Sources
- 1993: M. Ben-Ari: Mathematical Logic for Computer Science ... (previous) ... (next): Chapter $2$: Propositional Calculus: $\S 2.2$: Propositional formulas