Backus Naur Form (BNF) is a notation for expressing the grammar of a
language in the form of production rules. BNF grammars consist of
terminals
, which are items that can appear in the language,
i.e +,  etc. and nonterminals
, which can be expanded into
one or more terminals and nonterminals. A grammar
can be represented by the tuple,
,
where N is the
set of nonterminals, T the set of terminals,
P a set of production rules that maps the elements of N to T,
and S is a start symbol which is a member of N. For example, below
is the BNF used for this problem, where
And P can be represented as:
(1) <expr> ::= <expr> <op> <expr> (A)  ( <expr> <op> <expr> ) (B)  <preop> ( <expr> ) (C)  <var> (D) (2) <op> ::= + (A)   (B)  / (C)  * (D) (3) <preop> ::= Sin (4) <var> ::= X (A)  1.0 (B)
Unlike a Kozastyle approach, there is no distinction made at this stage between what he describes as functions (operators in this sense) and terminals (variables in this example), however, this distinction is more of an implementation detail than a design issue.
Whigham [Whigham 96] also noted the possible confusion with this terminology and used the terms GPFunctions and GPTerminals for clarity. We will also adopt this approach, and use the term terminals with its usual meaning in grammars.
For the above BNF, Table 1 summarizes the production rules and the number of choices associated with each.
