but.jazyk	angličtina (English)
but.program	Výpočetní technika a informatika	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Meduna, Alexandr	en
dc.contributor.author	Koutný, Jiří	en
dc.contributor.referee	Janoušek, Jan	en
dc.contributor.referee	Vojnar, Tomáš	en
dc.date.created		cs
dc.description.abstract	V této disertační práci jsou studovány teoretické vlastnosti gramatik s omezenými derivačními stromy. Po uvedení současného stavu poznání v této oblasti je výzkum zaměřen na tři základní typy omezení derivačních stromů. Nejprve je představeno zcela nové téma, které je založeno na omezení řezů a je zkoumána vyjadřovací síla takto omezené gramatiky. Poté je zkoumáno několik nových vlastností omezení kladeného na cestu derivačních stromů. Zejména je studován vliv vymazávacích pravidel na vyjadřovací sílu gramatik s omezenou cestou a pro tyto gramatiky jsou zavedeny dvě normální formy. Následně je popsána nová souvislost mezi gramatikami s omezenou cestou a některými pseudouzly. Dále je prezentován protiargument k vyjadřovací síle tohoto modelu, která byla dosud považována za dobře známou vlastnost. Nakonec je zavedeno zobecnění modelu s omezenou cestou na ne jednu, ale několik cest. Tento model je následně studován zejména z hlediska vlastností vkládání, uzávěrových vlastností a vlastností syntaktické analýzy.	en
dc.description.abstract	This doctoral thesis studies theoretical properties of grammars with restricted derivation trees. After presenting the state of the art concerning this investigation area, the research is focused on the three main kinds of the restrictions placed upon the derivation trees. First, it introduces completely new investigation area represented by cut-based restriction and examines the generative power of the grammars restricted in this way. Second, it investigates several new properties of path-based restriction placed upon the derivation trees. Specifically, it studies the impact of erasing productions on the generative power of grammars with restricted path and introduces two corresponding normal forms. Then, it describes a new relation between grammars with restricted path and some pseudoknots. Next, it presents a counterargument to the generative power of grammars with controlled path that has been considered as well-known so far. Finally, it introduces a generalization of path-based restriction to not just one but several paths. The model generalized in this way is studied, namely its pumping, closure, and parsing properties.	cs
dc.description.mark	P	cs
dc.identifier.citation	KOUTNÝ, J. Gramatiky s omezenými derivačními stromy [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .	cs
dc.identifier.other	99817	cs
dc.identifier.uri	http://hdl.handle.net/11012/63264
dc.language.iso	en	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	stromem řízené gramatiky	en
dc.subject	úrovněmi řízené gramatiky	en
dc.subject	cestou řízené gramatiky	en
dc.subject	cestami řízené gramatiky	en
dc.subject	řezy řízené gramatiky	en
dc.subject	uspořádanými řezy řízené gramatiky	en
dc.subject	řízené přepisování	en
dc.subject	omezené derivační stromy	en
dc.subject	tree controlled grammars	cs
dc.subject	level controlled grammars	cs
dc.subject	path controlled grammars	cs
dc.subject	paths controlled grammars	cs
dc.subject	cut controlled grammars	cs
dc.subject	ordered cut controlled grammars	cs
dc.subject	regulated rewriting	cs
dc.subject	restricted derivation trees	cs
dc.title	Gramatiky s omezenými derivačními stromy	en
dc.title.alternative	Grammars with Restricted Derivation Trees	cs
dc.type	Text	cs
dc.type.driver	doctoralThesis	en
dc.type.evskp	dizertační práce	cs
dcterms.modified	2020-05-10-17:46:42	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	99817	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.27 12:11:39	en
sync.item.modts	2025.01.15 20:06:15	en
thesis.discipline	Výpočetní technika a informatika	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémů	cs
thesis.level	Doktorský	cs
thesis.name	Ph.D.	cs

Gramatiky s omezenými derivačními stromy

Files

Original bundle

Collections