Detail práce
Nové verze zásobníkových automatů
Táto diplomová práca sa zaoberá verziami viac-zásobníkových automatov založených na hlbokých zásobníkoch. Zavádza novú modifikáciu Vstupom riadený hlboký viac-zásobníkový automat, ktorý pozostáva z dvoch a viac hlbokých zásobníkov a aktuálny vstupný symbol určuje, či automat vykonáva operáciu push, operáciu pop alebo operáciu rozšírenia, poprípade obsah zásobníka nezmení. Druhou zavedenou variantou je Zásobníkový automat regulovaný hlbokým zásobníkom. Okrem bežného zásobníka obsahuje táto verzia aj hlboký zásobník, na ktorom je generovaný riadiaci jazyk. Táto práca dokazuje, že vyjadrovacia sila nových modifikácií automatov sa rovná vyjadrovacej sile Turingových strojov. Práca transformuje teoretické modely navrhnutých automatov na reálnu implementáciu a ponúka knižnicu implementujúcu syntaktickú analýzu založenú na týchto modeloch.
zásobníkový automat, dvoj-zásobníkový automat, viac-zásobníkový automat, jedno-otáčkový zásobníkový automat, syntaktická analýza, modifikované zásobníkové automaty, hlboký zásobníkový automat, expanzie v hĺbke zásobníka, hlboký viac-zásobníkový automat riadený vstupom, zásobníkový automat regulovaný hlbokým zásobníkom
Studentka nejprve prezentovala výsledky, kterých dosáhla v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Studentka následně odpověděla na otázku oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studentky na položené otázky rozhodla práci hodnotit stupněm "B".
- Při určování vyjadřovací síly nových modelů uvažujete jejich obecné verze bez omezení. Při syntaktické analýze však již využíváte omezení zajišťující determinizmus. Dokážete odhadnout, jaký vliv budou mít tato omezení na sílu vašich modelů?
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT), člen
Hladká Eva, doc. RNDr., Ph.D. (FI MUNI), člen
Jaroš Jiří, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Kořenek Jan, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT), člen
@mastersthesis{FITMT20264, author = "\'{L}ubica Gen\v{c}\'{u}rov\'{a}", type = "Diplomov\'{a} pr\'{a}ce", title = "Nov\'{e} verze z\'{a}sobn\'{i}kov\'{y}ch automat\r{u}", school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}", year = 2019, location = "Brno, CZ", language = "czech", url = "https://www.fit.vut.cz/study/thesis/20264/" }