Date | Topic | Materials |
19.2.2015 | Languages, finite automata, regularity, Nerode theorem |
[PDF] |
26.2.2015 | Pumping lemma, state equivalence, reduct |
[PDF] |
5.3.2015 | Reduction of DFAs, non-deterministic automata |
[PDF] |
12.3.2015 | Lecture has been cancelled |
|
19.3.2015 | NFAs and DFAs, closure properties, two-way automaton |
[PDF] |
26.3.2015 | Lecture has been cancelled (business trip) |
|
2.4.2015 | Two-way automata and regularity, Kleene's theorem |
[PDF] |
9.4.2015 | Introduction to grammars, regular grammars |
[PDF] |
16.4.2015 | Regular and context-free grammars |
[PDF] |
23.4.2015 | Normal forms and pumping lemma for context-free languages |
[PDF] |
30.4.2015 | Push down automata and context-free languages |
[PDF] |
7.5.2015 | Deterministic context-free languages and decision problems |
[PDF] |
14.5.2015 | Turing machines and enumeration |
[PDF] |
21.5.2015 | Variants of Turing machines |
[PDF] |