The lecturing schedule with slides are given below. The slides may be updated as the course progresses. We advise you to work on the exercises after each lecture. Among the listed additional material you can often find video presentations by a former teacher of this course, Johan Jeuring.
| Date | Lecture | Lecture notes | Most important exercises | Additional material |
|---|---|---|---|---|
| 12 Nov. | Introduction | 1–2.1 | 2.1,2.2,2.3 | |
| 14 Nov. | No lecture | |||
| 19 Nov. | Grammars and Parsing | 2.2–2.4, 2.6–2.9 | 2.5-2.10,2.13,2.14,2.21,2.44 |
Preparation slides for assignment 1
Video 2016 part 1, 2016 part 2 |
| 21 Nov. | Parser Combinators | 2.5–3–3.3–3.7 | 3.5, 3.6, 3.9, 3.15, 3.16, 3.21, 3.22, 3.24, 3.25 | Video 2015, 2016 part 1, 2016 part 2 |
| 26 Nov. | Parser Design, Monad examples | 4 | 4.1 | Video 2016 part 0, part 1, part 2, part 3, part 4 |
| 28 Nov. | Regexp | 8.2, 8.3, 9.2 | Video 2015, 2016 REs | 3 Dec. | Finite State Machines | 9.1, 8.1 | 8.3,8.5 | Video 2015, 2016 part 1, 2016 part 2 |
| 5 Dec. | Folds and Algebras (I) | 5–5.3 | 5.1,5.2,5.3,5.4 | Video 2016 part 1, part 2 |
| 10 dec. | Folds and Algebras (II) | 5.4, 7.1 | 7.1,7.2 | Video 2016 part 1, part 2 |
| 12 Dec. | Simple Stack Machine |
SSM reference
Video 2015, 2016 part 1, 2016 part 2 |
||
| 17 Dec. | Intermediate summary | Video 2015 | ||
| 19 Dec. 13.30 | Midterm exam | Ch. 1-5, 7-9 | ||
| — | Christmas Break | |||
| 7 Jan. | Validation | Implementation and exercises | ||
| 9 Jan. | Pumping lemmas | 9 | 9.1,9.3,9.8,9.9,9.10 |
Example of a proof
2016 Pumping Lemmas part 1,
2016 Pumping Lemmas part 2
Older recordings Pumping Lemma RG, CFG, REs |
| 14 Jan. | Nanopass Compilation | |||
| 16 Jan. | Optimizations | |||
| 21 Jan. | Summary | |||
| 23 Jan. | TBD | |||
| 30 Jan. 13:30 | Final exam | Everything: Ch. 1-5, 7.1, 9, and extra material |