* doc/bison.texinfo (Mystery Conflicts): Add reference to DeRemer

and Pennello's paper.

diff --git a/ChangeLog b/ChangeLog
index 43e323be45f7a751662020d8923c8fce523799b7..612f5387150ea95dc80f9a68611c2c5d67277b90 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2005-07-11  Paul Eggert  <eggert@cs.ucla.edu>
+
+       * doc/bison.texinfo (Mystery Conflicts): Add reference to DeRemer
+       and Pennello's paper.
+

 2005-07-09  Paul Eggert  <eggert@cs.ucla.edu>
 
        * data/yacc.c (yyparse): Undo previous patch.  Instead,
 2005-07-09  Paul Eggert  <eggert@cs.ucla.edu>
 
        * data/yacc.c (yyparse): Undo previous patch.  Instead,

diff --git a/doc/bison.texinfo b/doc/bison.texinfo
index 148573527d611c8d8dfca5a0921ac1c0daffa686..60226343baacc0c6e5678e80b6ba329521eb07de 100644 (file)
--- a/doc/bison.texinfo
+++ b/doc/bison.texinfo
@@ -5496,6 +5496,13 @@ return_spec:
         ;
 @end example
 
         ;
 @end example
 

+For a more detailed exposition of @acronym{LALR}(1) parsers and parser
+generators, please see:
+Frank DeRemer and Thomas Pennello, Efficient Computation of
+@acronym{LALR}(1) Look-Ahead Sets, @cite{@acronym{ACM} Transactions on
+Programming Languages and Systems}, Vol.@: 4, No.@: 4 (October 1982),
+pp.@: 615--649 @uref{http://doi.acm.org/10.1145/69622.357187}.
+

 @node Generalized LR Parsing
 @section Generalized @acronym{LR} (@acronym{GLR}) Parsing
 @cindex @acronym{GLR} parsing
 @node Generalized LR Parsing
 @section Generalized @acronym{LR} (@acronym{GLR}) Parsing
 @cindex @acronym{GLR} parsing


@@ -6785,7 +6792,7 @@ int yyparse (void);
 @c - Always pure
 @c - initial action
 
 @c - Always pure
 @c - initial action
 

-The C++ parser LALR(1) skeleton is named @file{lalr1.cc}.  To select
+The C++ parser @acronym{LALR}(1) skeleton is named @file{lalr1.cc}.  To select

 it, you may either pass the option @option{--skeleton=lalr1.cc} to
 Bison, or include the directive @samp{%skeleton "lalr1.cc"} in the
 grammar preamble.  When run, @command{bison} will create several
 it, you may either pass the option @option{--skeleton=lalr1.cc} to
 Bison, or include the directive @samp{%skeleton "lalr1.cc"} in the
 grammar preamble.  When run, @command{bison} will create several