Slajdy z přednášek (neobsahují rukou psané texty a obrázky!!!)

Slajdy je možné použít na dopisování poznámek v průběhu přednášek. V žádném případě se nedají použít jako samostatný studijní materiál (viz Literatura).


• 18. 9. 2006 - Formální jazyky. Gramatiky. Chomského hierarchie. pdf
• 25. 9. 2006 - Konečné automaty. Paralelní kompozice automatů. pdf
• 2. 10. 2006 - Věta o vkládání, aplikace. Myhill-Nerodova věta. Aplikace. pdf
• 9. 10. 2006 - Minimalizace konečných automatů. Nedeterministické konečné automaty. pdf
• 16. 10. 2006 - Automaty s \epsilon kroky. Uzávěrové vlastnosti regulárních jazyků. Regulární výrazy. pdf
• 23. 10. 2006 - Vztah regulárních gramatik a konečných automatů. Rozhodnutelné problémy pro regulární jazyky. Aplikace. pdf
• 30. 10. 2006 - Bezkontextové jazyky. Derivační stromy. Gramatiky bez nepoužitelných symbolů. pdf
• 6. 11. 2006 - Jednoduché pravidla a epsilon-pravidla. Chomského normální forma. Věta o vkládání pro bezkontextové jazyky. pdf
• 13. 11. 2006 - Přímá a nepřímá levá rekurze. Greibachové normální forma. Zásobníkové automaty. pdf
• 20. 11. 2006 - Zásobníkové automaty, metody akceptování. Rozšířené zásobníkové automaty. pdf
• 27. 11. 2006 - Zásobníkové automaty a bezkontextové gramatiky. Nedeterministická syntaktická analýza. pdf
• 4. 12. 2006 - Deterministické zásobníkové automaty. Deterministická syntaktická analýza. LL(k) gramatiky. LL(1) analýza. pdf
• 11. 12. 2006 - Přednáška se nekoná.
• 18. 12. 2006 - Vlastnosti bezkontextových jazyků, rozhodnutelné problémy pro bezkontextové jazyky. Turingovy stroje. pdf