but.committee	prof. Ing. Tomáš Vojnar, Ph.D. (předseda) doc. Mgr. Daniela Chudá, Ph.D. (člen) doc. RNDr. Daniel Průša, Ph.D. (člen) doc. Mgr. Adam Rogalewicz, Ph.D. (člen) doc. RNDr. Jan Strejček, Ph.D. (člen)	cs
but.defence	Student přednesl cíle své disertační práce a výsledky, kterých v rámci jejího řešení dosáhl. V rozpravě student odpověděl na otázky komise a oponentů. Diskuze je zaznamenána na diskuzních lístcích, které jsou přílohou protokolu. Počet diskuzních lístků: 3. Komise se v závěru jednomyslně usnesla, že student splnil podmínky pro udělení akademického titulu doktor.	cs
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	Kučera, Jiří	en
dc.contributor.referee	Průša, Daniel	en
dc.contributor.referee	Sawa, Zdeněk	en
dc.date.accessioned	2022-07-27T06:53:05Z
dc.date.available	2022-07-27T06:53:05Z
dc.date.created	2022	cs
dc.description.abstract	Tato práce zkoumá a zavádí čtyři nové jazykové modely se zaměřením na regulované a paralelní verze automatů a gramatik. První z modelů, stavově synchronizované systémy automatů , zavádí systémy složené z konečného počtu zásobníkových automatů jejichž činnost je řízena slovy z řídícího jazyka nad množinou stavů. Druhý model, neomezené hluboké zásobníkové automaty , je variantou hlubokých zásobníkových automatů z nichž bylo sejmuto omezení kladené na hloubku expanze na zásobníku. Třetí model, skákající čisté gramatiky , zavádí skákající gramatiky bez neterminálních symbolů. Poslední model, k#$-přepisující systémy , rozšiřuje #-přepisující systémy o přídavnou zásobníkovou paměť. Text této práce je členěn do tří částí. První část uvádí motivaci k zavedení studovaných jazykových modelů a zasazuje je do kontextu souvisejících oblastí teorie formálních jazyků. Je zde také uveden přehled o celkové organizaci práce, základních pojmů teorie formálních jazyků a současných poznatků souvisejících s předmětem výzkumu. Druhá část tvoří jádro této práce. Jsou v ní formálně definovány všechny nově zavedené jazykové modely a studována jejich vyjadřovací síla. Poslední část uzavírá tuto práci souhrnem získaných teoretických výsledků společně se souvisejícími otevřenými problémy a nastiňuje cesty dalšího výzkumu spolu s výhledy na možná využití.	en
dc.description.abstract	This thesis introduces and studies four new language models with focus on regulation and parallelism in automata and grammars. First, state-synchronized automata systems , present systems consisting of a finite number of pushdown automata controlled by words of a control language over a set of states. Second, unlimited deep pushdown automata , are a modification of deep pushdown automata with no restrictions imposed on the depth of expansion on the pushdown. Third, jumping pure grammars , introduces jumping grammars with no nonterminal symbols. The last one, k#$-rewriting systems , extends #-rewriting systems with additional pushdown memory. The contents of this thesis are divided into three parts. The first part outlines the motivation for introduction of the studied language models and puts them into the context of related formal language theory areas. Furthermore, it gives an overview of the structure of the thesis, reviews fundamental notions of formal language theory and gives a survey of current knowledge related to the subject of research. The second part presents the core of this thesis. Here, formal definitions of all newly introduced language models are given and their expressive power is studied. Finally, this thesis is concluded with a summary of achieved theoretical results as well as related open problem areas, and an outline of the possibilities for further research along with a sketch of possible applications.	cs
dc.description.mark	P	cs
dc.identifier.citation	KUČERA, J. Nové Paralelní a Regulované Automaty a Gramatiky [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2022.	cs
dc.identifier.other	141657	cs
dc.identifier.uri	http://hdl.handle.net/11012/204608
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	teorie formálních jazyků	en
dc.subject	0L jazyky	en
dc.subject	čisté bezkontextové jazyky	en
dc.subject	rekurzivně vyčíslitelné jazyky	en
dc.subject	konečný index	en
dc.subject	nekonečná hierarchie	en
dc.subject	automaty	en
dc.subject	zásobník	en
dc.subject	zásobníkové automaty	en
dc.subject	systémy automatů	en
dc.subject	hluboké zásobníkové automaty	en
dc.subject	stavově-synchronizované systémy automatů	en
dc.subject	neomezené hluboké zásobníkové automaty	en
dc.subject	gramatiky	en
dc.subject	čisté gramatiky	en
dc.subject	skákající gramatiky	en
dc.subject	skákající čisté gramatiky	en
dc.subject	přepisování	en
dc.subject	paralelní přepisování	en
dc.subject	skákající přepisování	en
dc.subject	přepisující systémy	en
dc.subject	#-přepisující systémy	en
dc.subject	k#$-přepisující systémy	en
dc.subject	formal language theory	cs
dc.subject	0L languages	cs
dc.subject	pure context-free languages	cs
dc.subject	recursively enumerable languages	cs
dc.subject	finite index	cs
dc.subject	infinite hierarchy	cs
dc.subject	automata	cs
dc.subject	pushdown	cs
dc.subject	pushdown automata	cs
dc.subject	automata systems	cs
dc.subject	deep pushdown automata	cs
dc.subject	state-synchronized automata systems	cs
dc.subject	unlimited deep pushdown automata	cs
dc.subject	grammars	cs
dc.subject	pure grammars	cs
dc.subject	jumping grammars	cs
dc.subject	jumping pure grammars	cs
dc.subject	rewriting	cs
dc.subject	parallel rewriting	cs
dc.subject	jumping rewriting	cs
dc.subject	rewriting systems	cs
dc.subject	#-rewriting systems	cs
dc.subject	k#$-rewriting systems	cs
dc.title	Nové Paralelní a Regulované Automaty a Gramatiky	en
dc.title.alternative	New Parallel and Regulated Automata and Grammars	cs
dc.type	Text	cs
dc.type.driver	doctoralThesis	en
dc.type.evskp	dizertační práce	cs
dcterms.dateAccepted	2022-01-28	cs
dcterms.modified	2022-01-28-14:25:09	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	141657	en
sync.item.dbtype	ZP	en
sync.item.insts	2022.07.27 08:53:05	en
sync.item.modts	2022.07.27 08:13:52	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

Nové Paralelní a Regulované Automaty a Gramatiky

Files

Original bundle

Collections