Symbols:Abbreviations/B

From ProofWiki
Jump to navigation Jump to search
Previous  ... Next

B

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.


BPI

The Boolean Prime Ideal Theorem.


Previous  ... Next