summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
raw | gz |
help

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: