Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Simple Perl program used to generate TikZ trees. | David A. Madore | 2018-01-29 | 1 | -0/+116 | |
| | ||||||
* | Update instructions for test. | David A. Madore | 2018-01-29 | 1 | -8/+3 | |
| | ||||||
* | Write answers to third exercise. | David A. Madore | 2018-01-29 | 1 | -10/+68 | |
| | ||||||
* | Write answers to second exercise. | David A. Madore | 2018-01-29 | 1 | -2/+117 | |
| | ||||||
* | Write answers to first exercise. | David A. Madore | 2018-01-29 | 1 | -1/+151 | |
| | ||||||
* | Possible exam for 2018-02-06. | David A. Madore | 2018-01-25 | 1 | -0/+288 | |
| | ||||||
* | Erratum on the errata. :-\ | David A. Madore | 2018-01-25 | 1 | -1/+1 | |
| | ||||||
* | Write a list of errata (relative to version f1826f0f50c). | David A. Madore | 2018-01-25 | 1 | -0/+259 | |
| | ||||||
* | Fix broken link (thanks, Mikaël). | David A. Madore | 2018-01-25 | 1 | -1/+1 | |
| | ||||||
* | 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 | |
| | ||||||
* | Typo. | David A. Madore | 2018-01-15 | 1 | -1/+1 | |
| | ||||||
* | 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 | |
| | ||||||
* | Clear syntactic ambiguity. | David A. Madore | 2017-12-13 | 1 | -1/+1 | |
| | ||||||
* | Add a further question to an exercise. | David A. Madore | 2017-12-07 | 4 | -0/+103 | |
| | ||||||
* | Fix proof of standardization of automata. | David A. Madore | 2017-11-28 | 1 | -3/+6 | |
| | | | | | The case where the added state should have been final was missing. Thanks to Antoine for pointing this out. | |||||
* | 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 | 2 | -5/+5 | |
| | ||||||
* | 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 | |
| | ||||||
* | Small changes in wording of curriculum. | David A. Madore | 2017-11-05 | 1 | -8/+11 | |
| | ||||||
* | 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 ↵ | David A. Madore | 2017-11-03 | 1 | -51/+131 | |
| | | | | are decidable. | |||||
* | 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 | |
| | | | | Is this really a good idea? Maybe not. | |||||
* | Rework various comments (especially on regular expressions). | David A. Madore | 2017-11-01 | 1 | -68/+107 | |
| |