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ý.