
Wykłady:
- 28 lutego: Słowa, języki, wyrażenia regularne. [slajdy]
- 6 marca: Automaty. [slajdy]
- 13 marca: Języki regularne a automaty. [slajdy]
- 20 marca: Minimalizacja automatów. [slajdy]
- 3 kwietnia: Języki bezkontekstowe. [slajdy]
- 10 kwietnia: Automaty ze stosem. [slajdy]
- 17 kwietnia: Własności języków bezkontekstowych. [slajdy]
- 24 kwietnia: Obrazy przemienne języków. Automaty dwukierunkowe. [slajdy]
- 8 maja: Maszyny Turinga. [slajdy]
- 15 maja: Obliczalność. [slajdy]
- 22 maja: Nieobliczalność. [slajdy]
- 29 maja: Złożoność czasowa i pamięciowa. Klasa NP. [slajdy]
- 5 czerwca: Klasa PSPACE. Hierarchia Chomsky’ego. [slajdy]
- 12 czerwca: podsumuwanie i powtórka.
Materiały dodatkowe:
- 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.
- 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].
- Języki, automaty i obliczenia w Ważniaku.