{ This is a grammar in BNF notation, that specifies the syntax
of the  LR1GEN parser generator. }


<> -> <input grammar> .
<input grammar> -> <start prod> '. <other prods>
                 ! <symbol defns> <start prod>  '. <other prods> .
<start prod> -> nonterminal '-> nonterminal .
<other prods> -> <production> 
               ! <other prods> '. <production> .
<production> -> nonterminal '-> <rhs> .
<rhs> -> 'e-rule
       ! <symbols>
       ! <rhs> '| 'e-rule
       ! <rhs> '| <symbols> .
<symbols> -> terminal
           ! nonterminal
           ! <symbols> terminal
           ! <symbols> nonterminal .
<symbol defns> -> <terminals> <nonterminals> '#
                ! <terminals> '#
                ! <nonterminals> '# .
<terminals> -> terminal
             ! <terminals> terminal .
<nonterminals> -> nonterminal
                ! <nonterminals> nonterminal .
<input grammar> -> <start prod> '. <other prods> '.
                 ! <symbol defns> <start prod>  '. <other prods> '. $