| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Typo (thanks, Matthieu Rambaud). | David A. Madore | 2021-03-27 | 1 | -1/+1 |
| * | Two typos (thanks, Pierre Pébereau).printed-2020 | David A. Madore | 2020-01-23 | 1 | -2/+2 |
| * | Add two exercises from last year's exam (plus, update index very slightly).printed-2019 | David A. Madore | 2019-10-22 | 1 | -2/+294 |
| * | Minor clarifications about computability and universality. | David A. Madore | 2019-01-16 | 1 | -27/+38 |
| * | Fix bijection between ℕ² and ℕ. | David A. Madore | 2019-01-16 | 1 | -3/+3 |
| * | Various improvements to index. | David A. Madore | 2019-01-07 | 1 | -25/+31 |
| * | Copy a lot of exercises into the course notes.printed-2018 | David A. Madore | 2018-10-03 | 1 | -2/+2586 |
| * | Small syntactic clarifications. | David A. Madore | 2018-01-16 | 1 | -7/+7 |
| * | Take into account Antoine's remarks. | David A. Madore | 2018-01-15 | 1 | -3/+3 |
| * | Try to make clarification even clearer. | David A. Madore | 2018-01-08 | 1 | -2/+2 |
| * | Spell-check. | David A. Madore | 2018-01-08 | 1 | -2/+2 |
| * | Take into account Antoine's remarks. | David A. Madore | 2018-01-08 | 1 | -10/+13 |
| * | Fix proof of standardization of automata. | David A. Madore | 2017-11-28 | 1 | -3/+6 |
| * | Fix typo pointed out by Mikaël. | David A. Madore | 2017-11-27 | 1 | -1/+1 |
| * | Minor clarification. | David A. Madore | 2017-11-20 | 1 | -1/+1 |
| * | Increase inner margin (at expense of outer margin, so as to keep line width).printed-2017 | David A. Madore | 2017-11-14 | 1 | -1/+1 |
| * | Plenty more typos (thanks, Hélène S.). | David A. Madore | 2017-11-14 | 1 | -11/+11 |
| * | Imprimatur. | David A. Madore | 2017-11-13 | 1 | -10/+7 |
| * | Corrections suggested by a3nm. | David A. Madore | 2017-11-13 | 1 | -3/+3 |
| * | Typo. | David A. Madore | 2017-11-11 | 1 | -1/+1 |
| * | Missing comma. | David A. Madore | 2017-11-10 | 1 | -1/+1 |
| * | Corrections suggested by Mikaël. | David A. Madore | 2017-11-10 | 1 | -79/+83 |
| * | Downgrade level of unfinishedness and associated warning. | David A. Madore | 2017-11-08 | 1 | -9/+6 |
| * | Add remark about escaping regexps under Unix shell. | David A. Madore | 2017-11-08 | 1 | -0/+8 |
| * | Add remark about Kleene's star as smallest solution to an equation. | David A. Madore | 2017-11-08 | 1 | -0/+10 |
| * | Change notation A_r to A(r) for consistency's sake. | David A. Madore | 2017-11-08 | 1 | -17/+20 |
| * | Add more white space to make text less dense. | David A. Madore | 2017-11-08 | 1 | -34/+260 |
| * | Add footnote on grammar of regexps themselves. | David A. Madore | 2017-11-08 | 1 | -2/+9 |
| * | Change notations L_r and L_A to L(r) and L(A). | David A. Madore | 2017-11-08 | 1 | -52/+53 |
| * | Corrections suggested by Jacques. | David A. Madore | 2017-11-07 | 1 | -8/+8 |
| * | Expand discussion about practical parsing of CFGs (LL and LR approaches). | David A. Madore | 2017-11-07 | 1 | -45/+97 |
| * | Reread description of CYK algorithm. | David A. Madore | 2017-11-06 | 1 | -14/+15 |
| * | A brief description of the CYK dynamic programming algorithm for CFGs. | David A. Madore | 2017-11-06 | 1 | -8/+107 |
| * | Reread and rework introduction to computability. | David A. Madore | 2017-11-03 | 1 | -125/+184 |
| * | Reread section on formal grammars. Rewrite proof that algebraic languages ar... | David A. Madore | 2017-11-03 | 1 | -51/+131 |
| * | More clarifications. | David A. Madore | 2017-11-02 | 1 | -13/+20 |
| * | Various clarifications on context-free grammars. | David A. Madore | 2017-11-02 | 1 | -97/+146 |
| * | Typographic logic. | David A. Madore | 2017-11-02 | 1 | -6/+6 |
| * | Clarify what \footnotesize means. | David A. Madore | 2017-11-02 | 1 | -0/+5 |
| * | Minor clarifications on formal grammars. | David A. Madore | 2017-11-01 | 1 | -3/+11 |
| * | Some remarks on degenerate cases. | David A. Madore | 2017-11-01 | 1 | -2/+27 |
| * | Primary terminology is "minimal" automaton, not "canonical". | David A. Madore | 2017-11-01 | 1 | -5/+5 |
| * | Change acronym for incomplete automata to "DFAi" with lowercase i. | David A. Madore | 2017-11-01 | 1 | -36/+36 |
| * | Rework various comments (especially on regular expressions). | David A. Madore | 2017-11-01 | 1 | -68/+107 |
| * | Add another example of state elimination (limited-depth balanced parentheses). | David A. Madore | 2017-11-01 | 1 | -0/+63 |
| * | An intuitive explanation of the pumping lemma's uses. | David A. Madore | 2017-11-01 | 1 | -0/+12 |
| * | Reread sections on recognizable languages: various updates, clarifications, f... | David A. Madore | 2017-10-31 | 1 | -49/+86 |
| * | Add general intro blurb. | David A. Madore | 2017-10-31 | 1 | -7/+64 |
| * | Reread sections on automata: various updates, clarifications, fixes. | David A. Madore | 2017-10-30 | 1 | -118/+151 |
| * | Compatibility with older TeXlive. | David A. Madore | 2017-10-30 | 1 | -0/+1 |
