Datum | Téma | Materiály |
18.2.2015 | Jazky, konečné automaty, regularita, Nerodova věta |
[PDF] |
25.2.2015 | Pumping lemma, ekvivalence stavů, redukt |
[PDF] |
4.3.2015 | Redukce automatů, nedeterminismus, uzávěrové vlastnosti |
[PDF] |
11.3.2015 | Nedeterminismus, dvousměrné automaty |
[PDF] |
18.3.2015 | Dvousměrné automaty a regularita, Kleeneho věta |
[PDF] |
25.3.2015 | Přenáška byla zrušena (služební cesta) |
|
1.4.2015 | Regulární výrazy, úvod do gramatik |
[PDF] |
8.4.2015 | Regulární a bezkontextové gramatiky |
[PDF] |
15.4.2015 | Normální formy, pumping lemma pro bezkontextové jazyky |
[PDF] |
22.4.2015 | Zásobníkové automaty a bezkontextové jazyky |
[PDF] |
29.4.2015 | Deterministické bezkontextové jazyky a rozhodovací problémy |
[PDF] |
6.5.2015 | Turingův stroj a kódování jazyků |
[PDF] |
20.5.2015 | Varianty Turingových strojů |
[PDF] |
21.5.2015 | Algoritmicky nerozhodnutelné problémy |
[PDF] |
Extra přednáška z Automatů a gramatik je rozvržena na čtvrtek 21.5.2015 do S9 (stejné místo, kde běžně přednáška probíhá)od 17:20.