Backus-Naur Form

A metasyntax notation in computer science for describing the grammar of programming languages, proposed by John Backus and Peter Naur in the late 1950s, which precisely and unambiguously characterizes the valid structure of a language through production rules.