doc-src/Nitpick/nitpick.tex
changeset 45517 e1d9f0fa80d3
parent 45515 9fa58cacf95d
child 45571 ccb904a09e70
--- 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: