From: Paul Eggert <eggert@cs.ucla.edu>
Date: Mon, 11 Jul 2005 22:29:55 +0000 (+0000)
Subject: * doc/bison.texinfo (Mystery Conflicts): Add reference to DeRemer
X-Git-Tag: BISON-2_1~107
X-Git-Url: https://git.saurik.com/bison.git/commitdiff_plain/e054b19038c6ad2a2f8adbfc2dfba11e0c74ab2a?ds=inline

* doc/bison.texinfo (Mystery Conflicts): Add reference to DeRemer
and Pennello's paper.
---

diff --git a/ChangeLog b/ChangeLog
index 43e323be..612f5387 100644
--- 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,
diff --git a/doc/bison.texinfo b/doc/bison.texinfo
index 14857352..60226343 100644
--- a/doc/bison.texinfo
+++ b/doc/bison.texinfo
@@ -5496,6 +5496,13 @@ return_spec:
         ;
 @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
@@ -6785,7 +6792,7 @@ int yyparse (void);
 @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