diff options
author | Nick Gasson <nick@nickg.me.uk> | 2020-10-27 06:12:27 +0000 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2020-10-28 06:36:43 +0100 |
commit | 7c6e7bd300fc71c35b81592f9854abe87ffc9cdf (patch) | |
tree | 3a194e1d36a4afbeb5632bd851eef8796ed97d34 | |
parent | 3cba59dd7f8032f59846cf166c8fa97a22f4e49c (diff) | |
download | bison-7c6e7bd300fc71c35b81592f9854abe87ffc9cdf.tar.gz |
doc: minor grammar fixes in counterexamples section
* doc/bison.texi: Minor fixes in counterexamples section.
-rw-r--r-- | doc/bison.texi | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/doc/bison.texi b/doc/bison.texi index 48428f04..277aba29 100644 --- a/doc/bison.texi +++ b/doc/bison.texi @@ -9945,10 +9945,11 @@ very documentation. To solve a conflict, one must understand it: when does it occur? Is it because of a flaw in the grammar? Is it rather because LR(1) cannot cope with this grammar? -On difficulty is that conflicts occur in the @emph{automaton}, and it can be -tricky to related them to issues in the @emph{grammar} itself. With -experience and patience, analysis the detailed description of the automaton -(@pxref{Understanding}) allows to find example strings that reach these conflicts. +One difficulty is that conflicts occur in the @emph{automaton}, and it can +be tricky to relate them to issues in the @emph{grammar} itself. With +experience and patience, analysis of the detailed description of the +automaton (@pxref{Understanding}) allows one to find example strings that +reach these conflicts. That task is made much easier thanks to the generation of counterexamples, initially developed by Chinawat Isradisaikul and Andrew Myers @@ -10101,7 +10102,7 @@ sequence.y:8.3-45: @dwarning{warning}: rule useless in parser due to conflicts [ Each of these three conflicts, again, prove that the grammar is ambiguous. For instance, the second conflict (the reduce/reduce one) shows that the -grammar accept the empty input in two different ways. +grammar accepts the empty input in two different ways. @sp 1 |