author blanchet Wed, 16 Nov 2011 10:44:36 +0100 changeset 45517 e1d9f0fa80d3 parent 45516 b2c8422833da child 45518 8ca7e3f25ee4
fixed typo
--- a/doc-src/Nitpick/nitpick.tex	Wed Nov 16 10:34:08 2011 +0100
+++ b/doc-src/Nitpick/nitpick.tex	Wed Nov 16 10:44:36 2011 +0100
@@ -1534,7 +1534,7 @@
\end{tabular}
\postw

-The intuition behind the grammar is that $A$ generates all string with one more
+The intuition behind the grammar is that $A$ generates all strings with one more
$a$ than $b$'s and $B$ generates all strings with one more $b$ than $a$'s.

The alphabet consists exclusively of $a$'s and $b$'s: