changeset 994 | 35db8ee453c0 |
parent 982 | e9e5e181d9a3 |
993:9a85924835c0 | 994:35db8ee453c0 |
---|---|
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 |