Backus-Naur form

A formal notation for grammars, where productions are written <symbol> ::= <symbol1> "literal" .... Often extended with support for repetition (*, +), optionality (? or []) and alternatives (|).

[Wikipedia]