but.committee	prof. Ing. Tomáš Hruška, CSc. (předseda) doc. Ing. Jaroslav Zendulka, CSc. (místopředseda) doc. Ing. Radek Burget, Ph.D. (člen) doc. Mgr. Lukáš Holík, Ph.D. (člen) Mgr. Ing. Pavel Očenášek, Ph.D. (člen) doc. Ing. Oldřich Trenz, Ph.D. (člen)	cs
but.defence	Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky 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í studenta na položené otázky rozhodla práci hodnotit stupněm " C ". Otázky u obhajoby: Přijímaný jazyk z příkladu 5.1 není definován správně, systém dokáže přijmout například i vstup: aabcadabcd. (Vyzkoušejte si v aplikaci.) Je možné systém upravit tak, aby opravdu přijímal zamýšlený jazyk? Pokud zadáte systém z příkladu 6.1 do demonstrační aplikace, tak přijímá jiný jazyk (např. vstup "abc" není přijat a vstup "abcc" naopak ano). Čím je to způsobeno a které chování je to správné? Na konci kapitoly 8 je uvedeno, že aplikace dokáže poskytnout všechny neúspěšně zkoumané větve stavového prostoru. Takového výstupu se mi ale nepodařilo docílit. Jak je možné se k němu dostat?	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	Šoustar, Jakub	cs
dc.contributor.referee	Kocman, Radim	cs
dc.date.created	2017	cs
dc.description.abstract	Tato práce se zabývá hlubokými zásobníkovými automaty a zavádí jejich modifikaci nazvanou řízený hluboký zásobníkový automat. Dále jsou v této práci představeny distribuované systémy hlubokých zásobníkových automatů a paralelně komunikující systémy řízených hlubokých zásobníkových automatů. Jsou zkoumány vlastnosti a vyjadřovací síla těchto automatových systémů a je zavedeno několik variant těchto systémů. Pro jednu z variant paralelně komunikujících systémů je dokázáno, že disponuje stejnou vyjadřovací silou, jakou mají Turingovy stroje. Na základě těchto automatových systémů je zavedena metoda syntaktické analýzy.	cs
dc.description.abstract	This thesis investigates deep pushdown automata and introduces their modification called controlled deep pushdown automata. Distributed deep pushdown automata systems and parallel communicating deep pushdown automata systems are described. Their accepting power and properties are investigated and several variants are introduced. This thesis proves that the accepting power of one such variant of parallel communicating deep pushdown automata systems is equal to the accepting power of Turing machines. A method for syntactical analysis based on the previously introduced automata systems is described.	en
dc.description.mark	C	cs
dc.identifier.citation	ŠOUSTAR, J. Syntaktická analýza založená na systémech hlubokých zásobníkových automatů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2017.	cs
dc.identifier.other	106171	cs
dc.identifier.uri	http://hdl.handle.net/11012/69487
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	syntaktická analýza	cs
dc.subject	hluboké zásobníkové automaty	cs
dc.subject	distribuované systémy automatů	cs
dc.subject	paralelně komunikující systémy automatů	cs
dc.subject	determinismus	cs
dc.subject	parsing	en
dc.subject	deep pushdown automata	en
dc.subject	distributed automata systems	en
dc.subject	parallel communicating automata systems	en
dc.subject	determinism	en
dc.title	Syntaktická analýza založená na systémech hlubokých zásobníkových automatů	cs
dc.title.alternative	Parsing Based on Deep Pushdown Automata Systems	en
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2017-06-22	cs
dcterms.modified	2020-05-10-16:12:49	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	106171	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.26 15:24:23	en
sync.item.modts	2025.01.15 16:25:49	en
thesis.discipline	Informační systémy	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

Syntaktická analýza založená na systémech hlubokých zásobníkových automatů

Files

Original bundle

Collections