Datum | Téma | Materiály |
18.2.2014 | Jazky, konečné automaty, regularita, Nerodova věta |
[PDF] |
25.2.2014 | Pumping lemma, ekvivalence stavů, redukt |
[PDF] |
4.3.2014 | Redukce, uzávěrové vlastnosti |
[PDF] |
11.3.2014 | Nedeterminismus, dvousměrné automaty |
[PDF] |
18.3.2014 | Vlastnosti dvousměrných automatů, regulární výrazy |
[PDF] |
25.3.2014 | Úvod do gramatik, Chomského hierarchie |
[PDF] |
1.4.2014 | Bezkontextové gramatiky, derivační stromy |
[PDF] |
8.4.2014 | Normální formy, bezkontextové pumping lemma |
[PDF] |
15.4.2014 | Bezkontextové gramatiky a zásobníkové automaty |
[PDF] |
22.4.2014 | Vlastnosti bezkontextových gramatik a jazyků |
[PDF] |
29.4.2014 | Kontextové jazyky, Turingovy stroje |
[PDF] |
6.5.2014 | Varianty TS, rekurzivní jazyky |
[PDF] |
13.5.2014 | Nerozhodnutelné problémy |
[PDF] |
| Celkem dosud probraná látka |
[PDF] |