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	Soukup, Ondřej	en
dc.contributor.referee	Horváth,, Géza	en
dc.contributor.referee	Rogalewicz, Adam	en
dc.date.created		cs
dc.description.abstract	Tato disertační práce představuje derivační stromy několika různých typů gramatik ve zobecněné Kurodově normální formě; jmenovitě obecné a regulárně řízené gramatiky, gramatiky s rozptýleným kontextem a spolupracující distribuované gramatické systémy. Definuje jednoduché stromové rysy založené na kontextových vlastnostech jednotlivých diskutovaných gramatik a dokazuje, že pokud existuje limitující konstanta k taková, že každá věta generovaného jazyka L odpovídá řetězci listových uzlů derivačního stromu, ve kterém je výskyt definovaných stromových rysů omezen konstantou k, jazyk L je ve skutečnosti bezkontextový. Tato práce dále ukazuje, že dosažený výsledek představuje silný nástroj důkazu bezkontextovosti jazyka. Vše je doplněno příklady praktického využití nástroje.	en
dc.description.abstract	The present thesis introduces derivation trees for several different types of grammars in generalized Kuroda normal forms; namely, general, regular-controlled, and scattered context grammars and cooperating distributed grammar systems. It defines simple tree-based properties related to non-context-free properties of all grammars in question and shows that if there exists a limiting constant k such that every sentence in the generated language L is the frontier of a derivation tree in which the number of occurrences of the defined tree-based properties is limited by k, the language L is in fact context-free. The thesis explains that this result represents a powerful tool for showing languages to be context-free. It also provides illustrations and examples which sketch how to apply this tool in practice.	cs
dc.description.mark	P	cs
dc.identifier.citation	SOUKUP, O. Formální modely distribuovaného výpočtu [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .	cs
dc.identifier.other	128182	cs
dc.identifier.uri	http://hdl.handle.net/11012/187311
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	Obecné gramatiky	en
dc.subject	regulárně řízené bezkontextové gramatiky	en
dc.subject	gramatiky s rozptýleným kontextem	en
dc.subject	spolupracující distribuované gramatické systémy	en
dc.subject	normalní formy	en
dc.subject	derivační stromy	en
dc.subject	omezené derivační stromy	en
dc.subject	bezkontextovost	en
dc.subject	bezkontextovost konečného indexu.	en
dc.subject	General grammars	cs
dc.subject	regular-controlled context-free grammars	cs
dc.subject	scattered context grammars	cs
dc.subject	cooperating distributed grammar systems	cs
dc.subject	normal forms	cs
dc.subject	derivation trees	cs
dc.subject	restricted derivation trees	cs
dc.subject	context-freeness	cs
dc.subject	context-freeness of finite index.	cs
dc.title	Formální modely distribuovaného výpočtu	en
dc.title.alternative	Formal Models of Distributed Computation	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:46	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	128182	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.27 12:12:36	en
sync.item.modts	2025.01.15 21:59:50	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

Formální modely distribuovaného výpočtu

Files

Original bundle

Collections