| changeset 993 | 29db0cb761c2 |
| parent 981 | 82d0a2aa1849 |
| 992:d09d73808ca2 | 993:29db0cb761c2 |
|---|---|
3 \usepackage{../langs} |
3 \usepackage{../langs} |
4 \usepackage{../graphics} |
4 \usepackage{../graphics} |
5 |
5 |
6 |
6 |
7 \begin{document} |
7 \begin{document} |
8 \fnote{\copyright{} Christian Urban, King's College London, 2014, 2015, 2016, 2017, 2018, 2020} |
8 \fnote{\copyright{} Christian Urban, King's College London, 2014, 2015, 2016, 2017, 2018, 2020, 2025} |
9 |
9 |
10 |
10 |
11 \section*{A Crash-Course on Notation} |
11 \section*{A Crash-Course on Notation} |
12 |
12 |
13 There are innumerable books available on compilers, automata theory |
13 There are innumerable books available on compilers, automata theory |