 LocalDeclarations   = &quot;(.&quot; ArbitraryJavaDeclarations &quot;.)&quot; .
   NonTerminal         = ident .
</PRE>

Any name appearing in a <I>Production</I> that has not earlier been declared as a
terminal token is considered to be the name of a <I>NonTerminal</I>. There must be
exactly one production for every <I>NonTerminal</I> (this production may, of course,
specify a list of alternative right-hand sides).</P>

<P><B>Productions</B>. A production is considered as a "procedure" that parses
a nonte