BNF

Backus Normal Form, later renamed Backus-Naur Form at the suggestion of Donald Knuth.

A formalism to express the productions of context-free grammars. First used in the specification of ALGOL 58.