2 The BNF

The BNF (Backus-Naur Form) is a handy notation to express the syntax of formal languages.

 2.1 Terminals and Nonterminals
 2.2 Productions
  2.2.1 The “left arrow”
  2.2.2 The right/left hand side
  2.2.3 Alternatives
 2.3 Set of productions
 2.4 A language