BNF Syntax

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.