Future/bison
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/bison.git synced 2026-03-16 07:43:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

doc: minor grammar fixes in counterexamples section

Browse Source 
* doc/bison.texi: Minor fixes in counterexamples section.
This commit is contained in:
Nick Gasson
2020-10-27 06:12:27 +00:00
committed by Akim Demaille
parent 0cd16ae964
commit 8d7cd5e84d
1 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
doc/bison.texi
View File

@@ -9965,10 +9965,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 it occur? Is it because of a flaw in the grammar? Is it rather because
LR(1) cannot cope with this grammar? LR(1) cannot cope with this grammar?
On difficulty is that conflicts occur in the @emph{automaton}, and it can be One difficulty is that conflicts occur in the @emph{automaton}, and it can
tricky to related them to issues in the @emph{grammar} itself. With be tricky to relate them to issues in the @emph{grammar} itself. With
experience and patience, analysis the detailed description of the automaton experience and patience, analysis of the detailed description of the
(@pxref{Understanding}) allows to find example strings that reach these conflicts. 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, That task is made much easier thanks to the generation of counterexamples,
initially developed by Chinawat Isradisaikul and Andrew Myers initially developed by Chinawat Isradisaikul and Andrew Myers
@@ -10121,7 +10122,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. Each of these three conflicts, again, prove that the grammar is ambiguous.
For instance, the second conflict (the reduce/reduce one) shows that the 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 @sp 1