Example 1:  Additive Arithmetic Expressions

       a

     a + b

   a + b + c

       :

A grammar would define  exactly the set of additive expressions.

      ab+

       +