Backus-Naur form - technical definition

Also known as Backus normal form, it was the first metalanguage to define programming languages. Introduced by John Backus in 1959 to describe the ALGOL 58 language, it was enhanced by Peter Naur and used to define ALGOL 60.