0.1
New stuff to fit in
0.2
Introduction
1 Machines
1.1 Languages Recognised by Machines
1.1.1 Languages from machines
1.1.2 Some exercises
1.2 The Thought-experiment
1.3 The Pumping Lemma
1.4 Bombs
1.4.1 One-step refutations using bombs
1.4.2 A few more corollaries
2 Operations on machines and languages
2.1 Regular Expressions
2.1.1 More about bombs
2.2 Kleene's theorem
2.2.1 Some more exercises
2.3 Arden's rule and some stuff like that
3 Grammars
3.0.1 Exercises
3.1 Pushdown Automata
3.2 Exercises