Formální jazyky a automaty doc. RNDr. Tomáš Masopust, Ph.D., DSc.
Základní informace
- Vše potřebné bude komunikováno na přednášce či hromadným emailem.
- Cvičení vede Jiří Balun.
- Zkouška bude probíhat písemnou formou.
- Přednáška 13.2.2023: Abeceda, slovo, jazyk (str. 57-63). Deterministický konečný automat (str. 98-106).
- Přednáška 20.2.2023: Nedeterministické automaty (str. 107-114), konfigurace (str. 114-115), přechodové systémy (str. 116-118).
- Přednáška 06.3.2023: Odstranění lambda-přechodů (str. 119-122), uzávěrové vlastnosti (str. 122-125, 127), lemma o vkládání (str. 128-130).
- Přednáška 13.3.2023: Minimalizace DFA, regulární výrazy (str. 147-154).
- Přednáška 20.3.2023: Regulární výrazy v UNIXu (str. 184-186). Přepisovací systémy a gramatiky (str. 223-226, 228-231, 233, 236, 237-238, 240-241, 247-248).
- Přednáška 27.3.2023: Gramatiky pokračování (str. 249-252). Bezkontextové gramatiky: derivační stromy (str. 270-275). Chomského normální forma (str. 286-288).
- Přednáška 03.04.2023: Pumping lemma pro CFL (298-301). Uzávěrové vlastnosti (302, 304-305).
- Přednáška 17.04.2023: Zásobníkové automaty (337-352).
- Přednáška 24.04.2023: Deterministické zásobníkové automaty (352-353,359-360,363).
Správce stránky: Tomáš Masopust