BI-AAG: Automaty a gramatiky
Základní informace
- Web předmětu
- Rozvržení hodin
- Cvičení 105: čtvrtek 09:15 - 10:45 (T9:347)
- Cvičení 106: čtvrtek 11:00 - 12:30 (T9:347)
- Cvičení 107: čtvrtek 14:30 - 16:00 (T9:347)
- Cvičení 101: čtvrtek 16:15 - 17:45 (T9:347)
Cvičení
- ČT 06. 10. 2016: 01 - Formální jazyky, Chomského hierarchie, jazykové operace nad BG
- ČT 13. 10. 2016: 02 - Intuitivní návrh gramatik, konečné automaty, intuitivní návrh KA
- ČT 20. 10. 2016: 03 - Intuitivní návrh KA, úpravy KA (zbytečné stavy, epsilon přechody, ...)
- ČT 27. 10. 2016: 04 - Determinizace NKA, minimalizace DKA
- ČT 03. 11. 2016: 05 - Jazykové operace nad KA (sjednocení, průnik, doplněk, součin, iterace)
- ČT 10. 11. 2016: 06 - Regulární výrazy, regulární rovnice a soustavy rovnic, derivace RV
- ST 16. 11. 2016: 07 - Vzájemné převody RG-KA, KA-RG, RV-KA
- ČT 24. 11. 2016: 08 - Vzájemné převody KA-RV, RG-RV, RV-RG
- ČT 01. 12. 2016: 09 - Bezkontextové gramatiky, úpravy BG, Chomského normální forma
- ČT 08. 12. 2016: 10 - Algoritmus CYK, intuitivní návrh ZA, odstranění levé rekurze u BG
- ČT 15. 12. 2016: 11 - Pumping lemma, důkazy neregulárnosti jazyků
- ČT 05. 01. 2017: 12 - Formální překlady, intuitivní návrh PG a PA