Prednášky. - 1 Plán kurzu a historická perspektíva. - 2 Struny a súpravy. - 3 konečné automaty a pravidelné množiny. - 4 ďalšie na bežných setoch. - 5 Nedeterministické konečné automaty. - 6 Konštrukcia podmnožiny. - 7 Porovnávanie vzorov. - 8 Porovnávanie vzorov a regulárne výrazy. - 9 Regulárne výrazy a konečné automaty. - Kleenova algebra a regulárne výrazy. - 10 Homomorfizmy. - 11 Obmedzenia konečných automatov. - 12 Používanie čerpacej lemmy. - 13 Minimalizácia stavu DFA. - 14 Algoritmus minimalizácie. - 15 Vzťahy MyhillNerode. - 16 MyhillNerodova veta. - B Kolaps nedeterministických automatov. - C Automaty za podmienok. - D MyhillNerode veta pre termínové automaty. - 17 obojsmerných konečných automatov. - 18 2DFA a bežné súpravy. - 19 Bezkontextové gramatiky a jazyky. - 20 vyvážených zátvoriek. - 21 Normálne formy. - 22 Čerpacia lema pre CFL. - 23 Pushdown automaty. - E Konečný stav verzus prázdny stoh. - 24 PDA a CFG. - 25 Simulácia NPDA pomocou CFG. - F Deterministické pushdown automaty. - 26 Analýza. - 27 Algoritmus CockeKasamiYounger. - G ChomskySchützenbergerova veta. - H Parikhova veta. - 28 Turingových strojov a efektívna vypočítateľnosť. - 29 Viac o Turingových strojoch. - 30 ekvivalentných modelov. - 31 Univerzálne stroje a diagonalizácia. - 32 Rozhodnuteľné a nerozhodnuteľné problémy. - 33 Zníženie. - 34 Riceova veta. - 35 Nerozhodnuteľné problémy týkajúce sa CFL. - 36 Iné formalizmy. - 37 A-kalkul. - Aj počas programov. - J Za hranicami nerozhodnosti. - 38 Gödelova veta o neúplnosti. - 39 Dôkaz vety o neúplnosti. - Dôkaz K. Gödela. -Cvičenia. - Sady domácich úloh. - Domáca úloha 1. - Domáca úloha 2. - Domáca úloha 3. - Domáca úloha 4. - Domáca úloha 5. - Domáca úloha 6. - Domáca úloha 7. - Domáca úloha 8. - Domáca úloha 9. - Domáca úloha 10. - Domáca úloha 11. - Domáca úloha 12. - Rôzne cvičenia. - Konečné automaty a pravidelné množiny. - Pushdown automaty a bezkontextové jazyky. - Turingove stroje a efektívna vypočítateľnosť. - Rady a riešenia. - Rady pre vybrané rôzne cvičenia. - Riešenia vybraných rôznych cvičení. -Referencie. - Zápis a skratky. Jazyk: angličtina