| Commit message (Expand) | Author | Age | Files | Lines |
* | 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 |
* | Various examples of CFGs (not necessarily interesting). | David A. Madore | 2017-01-02 | 1 | -2/+136 |
* | Another example of CFG (too complicated?). | David A. Madore | 2017-01-02 | 1 | -0/+44 |
* | Concatenation, union and star of CFLs. | David A. Madore | 2017-01-02 | 1 | -20/+108 |
* | Standardize spelling of "hors contexte". | David A. Madore | 2017-01-02 | 1 | -6/+6 |
* | Rational languages are algebraic; regular grammars. | David A. Madore | 2017-01-02 | 1 | -6/+55 |
* | Context-free grammars and languages: definition and example. | David A. Madore | 2017-01-02 | 1 | -12/+165 |
* | Typo (thanks, Antoine). | David A. Madore | 2016-12-28 | 1 | -1/+1 |
* | More minor clarifications / corrections. | David A. Madore | 2016-12-13 | 2 | -4/+4 |
* | Clarifications following students' remarks/questions. | David A. Madore | 2016-12-13 | 1 | -3/+5 |
* | Add a simple exercise. | David A. Madore | 2016-12-12 | 1 | -0/+21 |
* | Typo. | David A. Madore | 2016-12-12 | 1 | -1/+1 |
* | Explain how to produce a regexp that matches the multiples of 7 in base 10. | David A. Madore | 2016-12-09 | 2 | -1/+78 |
* | Exercise on multiples of 7 in base 10. | David A. Madore | 2016-12-09 | 1 | -0/+26 |
* | Exercise on backreferences. | David A. Madore | 2016-12-09 | 2 | -11/+82 |