
      The Language of Trees


A Tree is defined by the following (recursive) grammar.

       Tree ::= '(' String Tree+ ')'
              | String

where '(' and ')' are literals, and Tree+ means 
"one or more" sub-trees.
