but.committee	doc. Ing. Ondřej Ryšavý, Ph.D. (předseda) doc. Ing. Jan Kořenek, Ph.D. (místopředseda) prof. RNDr. Milan Češka, CSc. (člen) doc. RNDr. Eva Hladká, Ph.D. (člen) doc. Ing. Jiří Jaroš, Ph.D. (člen) Ing. Petr Matoušek, Ph.D., M.A. (člen)	cs
but.defence	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: 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ů?	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Meduna, Alexandr	cs
dc.contributor.author	Genčúrová, Ľubica	cs
dc.contributor.referee	Kocman, Radim	cs
dc.date.accessioned	2019-07-08T15:56:52Z
dc.date.available	2019-07-08T15:56:52Z
dc.date.created	2019	cs
dc.description.abstract	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.	cs
dc.description.abstract	This thesis investigates multi pushdown automata and introduces their new modifications based on deep pushdown. The first modification is Input driven multi deep pushdown automata, which has several deep pushdown lists and the current input symbol determines whether the automaton performs a push operation, a pop operation, an expansion operation or does not touch the stack. The second introduced modification is Regulated pushdown automata by deep pushdown. In addition to ordinary pushdowns, this version contains deep pushdown, which is used to generate the control language. This thesis proves, that the acceptance power of the described variants is equal to the accepting power of Turing machines. This thesis also contains view on program realisation of theoretical models, which were described in the theoretical part and introduces a library for the syntax analysis, which is based on it.	en
dc.description.mark	B	cs
dc.identifier.citation	GENČÚROVÁ, Ľ. Nové verze zásobníkových automatů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2019.	cs
dc.identifier.other	121858	cs
dc.identifier.uri	http://hdl.handle.net/11012/180328
dc.language.iso	cs	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	zásobníkový automat	cs
dc.subject	dvoj-zásobníkový automat	cs
dc.subject	viac-zásobníkový automat	cs
dc.subject	jedno-otáčkový zásobníkový automat	cs
dc.subject	syntaktická analýza	cs
dc.subject	modifikované zásobníkové automaty	cs
dc.subject	hlboký zásobníkový automat	cs
dc.subject	expanzie v hĺbke zásobníka	cs
dc.subject	hlboký viac-zásobníkový automat riadený vstupom	cs
dc.subject	zásobníkový automat regulovaný hlbokým zásobníkom	cs
dc.subject	pushdown automata	en
dc.subject	two-pushdown automaton	en
dc.subject	multi pushdown automata	en
dc.subject	one-turn pushdown automata	en
dc.subject	syntax analysis	en
dc.subject	modified pushdown automata	en
dc.subject	deep-pushdown automata	en
dc.subject	deep pushdown expansions	en
dc.subject	input driven multi deep-pushdown automata	en
dc.subject	regulated pushdown automata by deep pushdown	en
dc.title	Nové verze zásobníkových automatů	cs
dc.title.alternative	New Versions of Pushdown Automata	en
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2019-06-18	cs
dcterms.modified	2019-07-08-13:31:15	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	121858	en
sync.item.dbtype	ZP	en
sync.item.insts	2021.11.12 16:14:32	en
sync.item.modts	2021.11.12 15:33:08	en
thesis.discipline	Počítačové sítě a komunikace	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémů	cs
thesis.level	Inženýrský	cs
thesis.name	Ing.	cs

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

Files

Original bundle

Collections