Mgr. Marta Vomlelová PhD.
ResearcherID: P-2331-2017
Orcid: 0000-0001-9104-804X
Consultations:
Úterý (Tuesday) 13:00-14:00 in S303.
Témata pro ročníkové projekty a bakalářské práce:
Pumpovací automaty a redukční gramatiky
Seznamové automaty
Teaching:
TIN071 Automaty a gramatiky,
NAIL029 Strojové učení
NAIL029 Machine Learning Course
NAIL121 Cvičení: Výroková a predikátová logika
NAIL104 Probabilistic Graphical Models
NAIL101 Pravděpodobnostní robotika
Curiculum Vitae:
CV
.
Ročníkový projekt Pumpovací automaty a redukční gramatiky
Cílem projektu je vytvořit simulátor pumpovacího automatu a redukční gramatiky. Plánovaná bakalářská práce by se týkala vzájemného převodu.
Literatura:
Plátek, Mráz, Pardubská, Pruša: On Pumping RP-automata Controlled by Complete LR(c| ,$)-grammars. ITAT 2022
Plátek, Mráz, Pardubská, Šíma: Pumping Deterministic Monotone Restarting Automata and DCFL
Prostředí:
Doporučená je návaznost na Python knihovnu automata.
Konzultanti:
Doporučuji chodit na seminář Rozpoznávání a syntaktická analýza, tam najdete odborné konzultanty, M. Plátka a další. Zápis není povinný.
Ročníkový projekt Seznamový automat
Cílem projektu je vytvořit simulátor seznamového automatu: Turingův stroj s pohybem pouze vpravo, který může přepsat políčko a operací 'DELETE' políčko smaže a posune se doleva.
Výpočetní síla je jako zásobníkový automat, mnoho věcí se na něm dělá jednodušeji. Cílem plánované bakalářské práce je srovnání vyjadřovacích možností takového stroje s klasickým zásobníkovým automatem.
Literatura:
Plátek, Jančar, Vogel: Generalized Linear List Automata, plus další materiály v tištěné podobě.
Prostředí:
Doporučená je návaznost na Python knihovnu automata.
Konzultanti:
Doporučuji chodit na seminář Rozpoznávání a syntaktická analýza, tam najdete odborné konzultanty, M. Plátka a další. Zápis není povinný.