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: