Re: FYI: --help mentions GLR

[Joel E. Denny]

On Mon, 29 May 2006, Akim Demaille wrote:

> >>> "Joel" == Joel E Denny <address@hidden> writes:
> 
>  > -GNU bison generates parsers for LALR(1) grammars.\n"), stdout);
>  > +GNU bison generates parsers for LALR(1) or GLR grammars.\n"), stdout);
> 
> It doesn't make sense to me to refer to "GLR grammars".
> 
> GNU Bison generates LALR(1) and GLR parsers.

In my mind the set of all GLR grammars = the set of all context-free 
grammars, which is a superset of the set of all LALR(1) grammars.  But, 
yes, I suppose it is a bit unusual.

We'll also need to update the manual and web page:

  Bison is a general-purpose parser generator that converts a grammar 
  description for an LALR(1) or GLR context-free grammar into a C or C++ 
  program to parse that grammar.

That could become something like:

  Bison is a general-purpose parser generator.  It converts a context-free
  grammar description into a C or C++ program to parse that grammar
  using an LALR(1) or GLR algorithm.
  
Joel