| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Front page. | David A. Madore | 2020-01-21 | 1 | -3/+7 |
| * | Improve wording in various places. | David A. Madore | 2020-01-21 | 1 | -9/+10 |
| * | Third exercise on CFGs. | David A. Madore | 2020-01-21 | 1 | -0/+30 |
| * | Exercise on state elimination. | David A. Madore | 2020-01-21 | 1 | -1/+31 |
| * | Update exercise on unary languages. | David A. Madore | 2020-01-21 | 1 | -5/+39 |
| * | Start writing exam: an exercise on finite automata. | David A. Madore | 2020-01-20 | 1 | -0/+174 |
| * | Add two exercises from last year's exam (plus, update index very slightly).printed-2019 | David A. Madore | 2019-10-22 | 1 | -2/+294 |
| * | Continue writing test.exam-20190328 | David A. Madore | 2019-03-26 | 1 | -13/+78 |
| * | Start writing an exam. | David A. Madore | 2019-03-26 | 1 | -0/+193 |
| * | Take into account Antoine's remarks, but they may be too late.exam-20190205 | David A. Madore | 2019-02-03 | 1 | -26/+31 |
| * | Take into account Olivier's remarks on exam. | David A. Madore | 2019-02-01 | 1 | -20/+25 |
| * | Prepare for printing. | David A. Madore | 2019-01-31 | 1 | -11/+11 |
| * | Cursory proofreading. | David A. Madore | 2019-01-31 | 1 | -7/+12 |
| * | Missing words (thanks, Michaël). | David A. Madore | 2019-01-29 | 1 | -2/+2 |
| * | Write answers to exercise on CFGs. | David A. Madore | 2019-01-28 | 1 | -8/+204 |
| * | Add an intermediate question to make exercise easier. | David A. Madore | 2019-01-24 | 1 | -20/+25 |
| * | Add an exercise on CFGs. | David A. Madore | 2019-01-24 | 1 | -1/+78 |
| * | Answers to exercise about computability. | David A. Madore | 2019-01-23 | 1 | -0/+23 |
| * | Adopt convention of underlining the epsilon symbol in regexps. | David A. Madore | 2019-01-23 | 1 | -10/+10 |
| * | A very silly exercise on computability. | David A. Madore | 2019-01-23 | 1 | -0/+28 |
| * | Start writing exam: exercise on finite automata. | David A. Madore | 2019-01-23 | 1 | -0/+372 |
| * | Typo (thanks, Antoine). | David A. Madore | 2019-01-23 | 1 | -1/+1 |
| * | 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 |
| * | Fix thinko. | David A. Madore | 2018-12-10 | 1 | -2/+2 |
| * | Typos in slides. | David A. Madore | 2018-10-17 | 1 | -2/+2 |
| * | Possible set of slides for first course. | David A. Madore | 2018-10-16 | 1 | -0/+633 |
| * | Copy a lot of exercises into the course notes.printed-2018 | David A. Madore | 2018-10-03 | 1 | -2/+2586 |
| * | Clarify that answer does not need to be formalized as such. | David A. Madore | 2018-03-23 | 1 | -0/+5 |
| * | Typo. | David A. Madore | 2018-03-23 | 1 | -1/+1 |
| * | Merge branch 'master' of git.madore.org:teach/inf105 | David A. Madore | 2018-03-23 | 1 | -5/+5 |
| |\ | |||||
| | * | Use \Rightarrow rather than \rightarrow to indicate derivations. | David A. Madore | 2018-03-16 | 1 | -5/+5 |
| * | | Prepare for printing.exam-20180322 | David A. Madore | 2018-03-19 | 1 | -8/+12 |
| * | | Take into account Olivier's remarks. | David A. Madore | 2018-03-19 | 1 | -28/+32 |
| * | | Take into account Antoine's remarks. | David A. Madore | 2018-03-18 | 1 | -15/+24 |
| * | | Typo. | David A. Madore | 2018-03-16 | 1 | -1/+1 |
| * | | Answers to third exercise. | David A. Madore | 2018-03-16 | 1 | -7/+51 |
| * | | Answers to second exercise. | David A. Madore | 2018-03-16 | 1 | -3/+106 |
| * | | Answers to exercise 1. | David A. Madore | 2018-03-16 | 1 | -1/+179 |
| * | | Change names, add Git line, suggest grading. | David A. Madore | 2018-03-16 | 1 | -14/+22 |
| * | | Third exercise. | David A. Madore | 2018-03-15 | 1 | -0/+99 |
| * | | Add an exercise on formal grammars. | David A. Madore | 2018-03-14 | 1 | -0/+40 |
| * | | Catch-up exam: an exercise on finite automata. | David A. Madore | 2018-03-14 | 1 | -0/+147 |
| |/ | |||||
| * | Improve spacing. | David A. Madore | 2018-03-08 | 1 | -2/+2 |
| * | Merge branch 'exam-20180206' of vega.gro-tsen.net:tex/inf105 into exam-20180206 | David A. Madore | 2018-03-08 | 1 | -2/+2 |
| |\ | |||||
| | * | Typos (thanks, Antoine). | David A. Madore | 2018-02-06 | 1 | -2/+2 |
| * | | More comments on test. | David A. Madore | 2018-03-08 | 1 | -3/+60 |
| * | | Add various comments on answers to test questions. | David A. Madore | 2018-02-21 | 1 | -3/+34 |
| |/ | |||||
| * | Fix thinko (thanks, Mikaël).exam-20180206 | David A. Madore | 2018-01-31 | 1 | -1/+1 |
 |
index : teach/inf105.git | |
| INF105 (THL: théorie des langages) | git repository hosting |
| summaryrefslogtreecommitdiffstats |