Lectures

1. Basic notions about formal languages [Part 1 (2 pages)]
2. Finite automata [Part 2 (18 pages)]
3. Regular expressions [Part 3 (10 pages)]
4. Properties of regular languages [Part 4 (15 pages)]
5. Chomsky grammars and context free languages [Part 5 (16 pages)]
6. Pushdown automata [Part 6 (9 pages)]
7. Properties of context-free languages [Part 7a Part 7b (27 pages)]
8. Introduction to Turing Machines [Part 8 (25 pages)]
9. Decidability and undecidability [Part 9 (15 pages)]
10. Computational complexity [Part 10 (18 pages)]

Exercises

1. Finite automata [Exercise 1]
2. Finite automata and regular expressions [Exercise 2, by Andrea Calì]
3. Regular languages [Exercise 3, by Andrea Calì]
4. Pumping lemma for regular languages, decision problems for regular languages [Exercise 4, by Andrea Calì]
5. Minimization of finite automata, formal grammars [Exercise 5, by Andrea Calì]
6. Minimization of finite automata, formal grammars [Exercise 6, by Andrea Calì]
7. Exercises for the midterm exam [Exercise 7]
8. Exercises on context-free grammars and pushdown automata [Exercise 8, by Andrea Calì]
9. Exercises on closure properties of context-free languages and Turing Machines [Exercise 9, by Andrea Calì]
10. Exercises on nondeterministic Turing Machines and extensions of Turing Machines [Exercise 10 by Andrea Calì]
11. Exercises on recursive and recursively enumerable languages [Exercise 11]
12. Exercises on computational complexity [Exercise 12]