BI-AAG: Automaty a gramatiky
Základní informace
- Web předmětu
- Rozvržení hodin
- Cvičení 109: středa 09:15 - 10:45 (T9:302)
- Cvičení 202: středa 11:00 - 12:30 (T9:302)
- Cvičení 110: středa 14:30 - 16:00 (T9:346)
- Cvičení 201: středa 16:15 - 17:45 (T9:346)
Cvičení
- ST 07. 10. 2015: 01 - Formální jazyky, Chomského hierarchie a návrh gramatik
- ST 14. 10. 2015: 02 - Návrh konečných automatů
- ST 21. 10. 2015: 03 - Determinizace NKA, úpravy NKA (epsilon přechody, zbytečné stavy, ...)
- ST 04. 11. 2015: 04 - Minimalizace DKA, jazykové operace nad KA (sjednocení, průnik, ...)
- ST 11. 11. 2015: 05 - Regulární výrazy (jejich zjednodušování, regulární rovnice, derivace)
- ST 18. 11. 2015: 06 - Vzájemné převody mezi RG, RV a KA
- ST 25. 11. 2015: 07 - Bezkontextové gramatiky, jejich úpravy a Chomského normální forma
- ST 02. 12. 2015: 08 - Algoritmus CYK, návrh zásobníkových automatů, syntaktická analýza
- ST 09. 12. 2015: 09 - Pumping lemma, důkaz neregulárnosti jazyků
- ST 16. 12. 2015: 10 - Překladové gramatiky a jejich návrh
- PO 21. 12. 2015: 11 - Překladové automaty, převody PG na KPA a ZPA
- ST 06. 01. 2016: 12 - Konzultační cvičení