# HG changeset patch # User blanchet # Date 1321436676 -3600 # Node ID e1d9f0fa80d35c8ac37ff64ea536e3c7be89fb63 # Parent b2c8422833da1e36be7a11ed3c262ab0eb53a486 fixed typo diff -r b2c8422833da -r e1d9f0fa80d3 doc-src/Nitpick/nitpick.tex --- 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: