| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Move remark around. | David A. Madore | 2017-01-30 | 1 | -5/+4 |
| * | Clarifications on curriculum. | David A. Madore | 2017-01-30 | 1 | -9/+12 |
| * | Re-read exercises. | David A. Madore | 2017-01-30 | 1 | -37/+48 |
| * | Fiddle with vertical spacing (i.e., struggle against TeX's page breaking algo... | David A. Madore | 2017-01-30 | 1 | -7/+39 |
| * | Another exercise on context-free grammars. | David A. Madore | 2017-01-30 | 2 | -0/+108 |
| * | Exercise on non-ambiguity and analysis of a simple context-free grammar. | David A. Madore | 2017-01-30 | 1 | -0/+161 |
| * | Remove syntactic ambiguity. | David A. Madore | 2017-01-30 | 1 | -1/+1 |
| * | Clarify statement on busy-beaver function. | David A. Madore | 2017-01-30 | 1 | -5/+6 |
| * | An exercise on Kleene's algorithm. | David A. Madore | 2017-01-30 | 2 | -0/+102 |
| * | Fix/clarification in answer to an exercise. | David A. Madore | 2017-01-30 | 1 | -1/+2 |
| * | An exercise on finite automata. | David A. Madore | 2017-01-27 | 4 | -0/+251 |
| * | Another exercise on computability (decidable iff range of an increasing compu... | David A. Madore | 2017-01-27 | 1 | -0/+60 |
| * | Another exercice on decidability. | David A. Madore | 2017-01-27 | 1 | -2/+69 |
| * | Busy beaver function. | David A. Madore | 2017-01-27 | 1 | -0/+65 |
| * | Union, intersection, concatenation and star of decidable vs. semi-decidable l... | David A. Madore | 2017-01-27 | 1 | -0/+97 |
| * | Write a sample exercice on computability. | David A. Madore | 2017-01-27 | 1 | -0/+197 |
| * | Yet another minor clarification. | David A. Madore | 2017-01-24 | 1 | -7/+8 |
| * | Un-French-ify another identifier. | David A. Madore | 2017-01-24 | 2 | -6/+6 |
| * | Try to further clarify the use of metacharacters in the "extended" grammar. | David A. Madore | 2017-01-24 | 1 | -7/+10 |
| * | Merge branch 'master' of git.madore.org:teach/inf105 | David A. Madore | 2017-01-24 | 2 | -86/+118 |
| |\ |
|
| | * | Fix excessive search-and-replace. | David A. Madore | 2017-01-24 | 1 | -3/+3 |
| | * | Additional explanations, including one on why implementing optional power use... | David A. Madore | 2017-01-24 | 1 | -4/+24 |
| | * | Unary minus must work before parentheses. | David A. Madore | 2017-01-24 | 1 | -1/+1 |
| | * | Systematically use English names for nonterminals; also replace "unary" by "f... | David A. Madore | 2017-01-24 | 2 | -66/+66 |
| | * | Briefly discuss "extended" grammar + various small changes (thanks, Antoine). | David A. Madore | 2017-01-24 | 1 | -24/+36 |
| * | | Move notes on computability to main text. | David A. Madore | 2017-01-23 | 2 | -605/+573 |
| * | | Update on the dangling else problem (short summary). | David A. Madore | 2017-01-23 | 1 | -2/+9 |
| |/ |
|
| * | Proposed answers to handout on JavaCC. | David A. Madore | 2017-01-23 | 1 | -14/+209 |
| * | Copy practice handout on JavaCC from last year. | David A. Madore | 2017-01-23 | 3 | -0/+342 |
| * | Typo/thinko. | David A. Madore | 2017-01-17 | 1 | -1/+1 |
| * | Fix mistaken exercise/solution on the "dangling else" problem. | David A. Madore | 2017-01-17 | 1 | -32/+17 |
| * | Provide a short (and very hastily written) summary of the LL/LR approach. | David A. Madore | 2017-01-16 | 1 | -2/+20 |
| * | Provide a short (and very hastily written) argument for the decidability of a... | David A. Madore | 2017-01-16 | 1 | -0/+34 |
| * | Various small mistakes (thanks, Olivier). | David A. Madore | 2017-01-16 | 1 | -4/+4 |
| * | Start writing some general stuff about analysis of CFLs. | David A. Madore | 2017-01-15 | 1 | -0/+74 |
| * | Explain how to work around the dangling else problem at the programmer and at... | David A. Madore | 2017-01-13 | 1 | -4/+76 |
| * | Continue writing about the dangling else ambiguity. | David A. Madore | 2017-01-12 | 3 | -1/+171 |
| * | Start writing a new exercise on the "dangling else" problem. | David A. Madore | 2017-01-12 | 2 | -0/+145 |
| * | An algebraic language whose complement is not algebraic (the language of non-... | David A. Madore | 2017-01-12 | 1 | -13/+114 |
| * | An exercise applying the pumping lemma for algebraic languages. | David A. Madore | 2017-01-12 | 1 | -0/+148 |
| * | The intersection of an algebraic and a rational language is algebraic. | David A. Madore | 2017-01-10 | 1 | -0/+3 |
| * | Add two figures (parse tree) forgotten from commit 029a75c. | David A. Madore | 2017-01-10 | 2 | -0/+36 |
| * | Add warning about work in progress. | David A. Madore | 2017-01-10 | 1 | -0/+12 |
| * | Intersection of algebraic and rational languages. | David A. Madore | 2017-01-10 | 1 | -0/+38 |
| * | Pumping lemma for algebraic languages. | David A. Madore | 2017-01-10 | 1 | -1/+42 |
| * | More about ambiguity. | David A. Madore | 2017-01-10 | 1 | -26/+191 |
| * | Fix thinko (thanks, Antoine!). | David A. Madore | 2017-01-06 | 1 | -1/+1 |
| * | Briefly mention more general grammars. Start writing about ambiguity. | David A. Madore | 2017-01-03 | 1 | -3/+28 |
| * | Parse trees versus derivations; left and right derivations. | David A. Madore | 2017-01-03 | 1 | -16/+98 |
| * | Start discussing parse trees. | David A. Madore | 2017-01-02 | 2 | -2/+147 |
