but.committee	prof. Ing. Tomáš Vojnar, Ph.D. (předseda) prof. Ing. Martin Drahanský, Ph.D. (místopředseda) doc. Ing. Radek Burget, Ph.D. (člen) Ing. Martin Hrubý, Ph.D. (člen) Doc. Věra Rozinajová, Ph.D. (člen) doc. Ing. Ondřej Ryšavý, 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: Zadání neurčuje konkrétní formální model, který má být výsledkem konverze. Byly zvažovány i jiné modely? Z jakého důvodu bylo výhodné zvolit právě stavové gramatiky? Zaměřte se na první a druhý řádek indukčního kroku na straně 15. Jedná se na obou řádcích o stejná x , a , y , m ? Pokud ano, je tedy možné pro daný řetězec jazyka xay libovolně měnit délku sekvence následujících čtverců? Vysvětlete.	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	Křivka, Zbyněk	cs
dc.contributor.author	Adamec, Ondřej	cs
dc.contributor.referee	Soukup, Ondřej	cs
dc.date.created	2015	cs
dc.description.abstract	Tato diplomová práce se zabývá cestami řízenými gramatikami, gramatikami, které kladou omezení na cesty v derivačním stromě bezkontextové gramatiky. Cílem této diplomové práce je tvorba algoritmu pro převod mezi cestami řízenými gramatikami a stavovými gramatikami, což je jiný typ řízené gramatiky. Dalším cílem je na základě tohoto převodního algoritmu studovat vyjadřovací sílu cestami řízených gramatik. Převodní algoritmus je naimplementován v C++ a testován na sadě cestami řízených gramatik. Složitost algoritmu, jak časová, tak prostorová, je diskutována. Také nástroj pro syntaktickou analýzu cestami řízených gramatik je naimplementován. Složitost této analýzy je také diskutována.	cs
dc.description.abstract	This thesis deals with path-controlled grammars, which are grammars that place restrictions on the paths in a derivation tree of a context-free grammar. The goal of this thesis is to create an algorithm for conversion between the path-controlled grammars and the state grammars, which is a di erent type of regulated grammars. Another goal is to study the generative power of path-controlled grammars based on the conversion algorithm. The conversion algorithm is implemented and tested on a number of path-controlled grammars. Also, its complexity is discussed. Finally, a parsing tool for path-controlled grammars is implemented. Complexity of this tool is analyzed as well.	en
dc.description.mark	C	cs
dc.identifier.citation	ADAMEC, O. Cestami řízené gramatiky [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2015.	cs
dc.identifier.other	88394	cs
dc.identifier.uri	http://hdl.handle.net/11012/52230
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	cestami řízené gramatiky	cs
dc.subject	maticové gramatiky	cs
dc.subject	statové gramatiky	cs
dc.subject	řízené gramatiky	cs
dc.subject	formální jazyky	cs
dc.subject	syntaktická analýza.	cs
dc.subject	path-controlled grammars	en
dc.subject	matrix grammars	en
dc.subject	state grammars	en
dc.subject	regulated grammars	en
dc.subject	formal languages	en
dc.subject	syntactic analysis.	en
dc.title	Cestami řízené gramatiky	cs
dc.title.alternative	Path-Controlled Grammars	en
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2015-06-24	cs
dcterms.modified	2020-05-10-16:11:10	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	88394	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.26 15:19:09	en
sync.item.modts	2025.01.15 17:59:31	en
thesis.discipline	Matematické metody v informačních technologiích	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

Cestami řízené gramatiky

Files

Original bundle

Collections