Symbols:Abbreviations/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.