chiark / gitweb /
doc/refintro.tex, src/sod-module.5: Fix slightly garbled text.
authorMark Wooding <mdw@distorted.org.uk>
Wed, 16 May 2018 09:09:02 +0000 (10:09 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Fri, 8 Jun 2018 19:08:03 +0000 (20:08 +0100)
doc/refintro.tex
src/sod-module.5

index ead5ace..2d4dbed 100644 (file)
@@ -95,8 +95,8 @@ Anywhere a simple nonterminal name $x$ may appear in the grammar, an
 left-hand side of a production rule, the indices $a_1$, \ldots, $a_n$ are
 variables which vary over all nonterminal and terminal symbols, and the
 variables may also appear on the right-hand side in place of a nonterminal.
-Such a rule stands for a family of rules, in each variable is replaced by
-each possible simple nonterminal or terminal symbol.
+Such a rule stands for a family of rules, in which each variable is replaced
+by each possible simple nonterminal or terminal symbol.
 
 The letter $\epsilon$ denotes the empty nonterminal
 \begin{quote}
index 4417673..8e21b5d 100644 (file)
@@ -106,7 +106,7 @@ are variables which vary over all nonterminal and terminal symbols,
 and the variables may also appear on the right-hand side
 in place of a nonterminal.
 Such a rule stands for a family of rules,
-in each variable is replaced by
+in which each variable is replaced by
 each possible simple nonterminal or terminal symbol.
 .PP
 The letter \*e denotes the empty nonterminal