Wykłady:
- 26 lutego: Słowa, języki, wyrażenia regularne. [slajdy]
- 5 marca: Automaty. [slajdy]
- 12 marca: Języki regularne a automaty. [slajdy]
- 19 marca: Minimalizacja automatów. [slajdy]
- 26 marca: Języki bezkontekstowe. [slajdy]
- 2 kwietnia: Automaty ze stosem. [slajdy]
Materiały dodatkowe:
- D. Niwiński, W. Rytter, 200 problems in formal languages and automata theory, Cambridge University Press (zbiór zadań z rozwiązaniami). [treści zadań po angielsku] [treści zadań po polsku].
- Skrypt Szymona Toruńczyka. Treść wykładu będzie zbliżona do zawartości tego skryptu.
- Nagrania wideo wykładów Szymona Toruńczka.
- Notatki Damiana Niwińskiego.
- Skrypt Jakuba Piotrowicza.
- J.E. Hopcroft, R. Motwani, J.D. Ullman, Wprowadzenie do teorii automatów, języków i obliczeń, PWN. [wykład oparty na tej książce].
- M. Sipser, Wprowadzenie do teorii obliczeń, PWN.
- Języki, automaty i obliczenia w Ważniaku.