Detail práce

Nové verze zásobníkových automatů

Diplomová práce Student: Genčúrová Ľubica Akademický rok: 2018/2019 Vedoucí: Meduna Alexander, prof. RNDr., CSc.
Název anglicky
New Versions of Pushdown Automata
Jazyk práce
český
Abstrakt

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.

Klíčová slova

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

Ústav
Studijní program
Informační technologie, obor Počítačové sítě a komunikace
Soubory
Stav
obhájeno, hodnocení B
Obhajoba
18. června 2019
Oponent
Průběh obhajoby

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

Otázky u obhajoby
  1. 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ů?
Komise
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT), předseda
Č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
Citace
GENČÚROVÁ, Ľubica. Nové verze zásobníkových automatů. Brno, 2019. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2019-06-18. Vedoucí práce Meduna Alexander. Dostupné z: https://www.fit.vut.cz/study/thesis/20264/
BibTeX
@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/"
}
Nahoru