The basic input uses a
BNF grammar
described in the following syntax diagrams:
