doc-src/Nitpick/nitpick.tex

 $A$ & $::=$ & $aS \mid bAA$ \\
 $B$ & $::=$ & $bS \mid aBB$
 \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:
 
 \prew