BNF Syntax
This section lists the conventions for a widely used notational scheme for formal languages known as BNF, which stands for Bakus-Naur Form (formerly Bakus Normal Form). BNF was introduced in 1963 as a technique for defining programing languages.
In the Statemate documentation, a variation of the BNF notation is used to formally describe the DGL statements.