O paralelním zpracování ve formálních modelech
but.committee | prof. Ing. Tomáš Vojnar, Ph.D. (předseda) prof. RNDr. Ivana Černá, CSc. (člen) doc. Ing. Jan Janoušek, Ph.D. (člen) RNDr. Jan Strejček, Ph.D. (člen) doc. Mgr. Adam Rogalewicz, Ph.D. (člen) | cs |
but.defence | Student přednesl cíle a výsledky, kterých v rámci řešení disertační práce dosáhl. V rozpravě student odpověděl na otázky komise a oponentů a hostů. 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 | Kocman, Radim | en |
dc.contributor.referee | Černá, Ivana | en |
dc.contributor.referee | Janoušek, Jan | en |
dc.date.accessioned | 2023-06-02T06:53:40Z | |
dc.date.available | 2023-06-02T06:53:40Z | |
dc.date.created | cs | |
dc.description.abstract | Tato disertační práce představuje a zkoumá nové možnosti paralelního zpracování ve formálních modelech. Zaměřuje se přitom především na paralelní verze skákajících konečných automatů a na normální formy gramatik se zajímavými paralelními vlastnostmi. První část práce popisuje motivaci pro studium paralelního zpracování ve formálních modelech a stručně představuje skákající modely a normální formy gramatik a gramatických systémů. Jsou zde také upřesněny cíle prezentovaného výzkumu. Druhá část práce je zaměřena na prezentaci nových výsledků v oblasti skákajících konečných automatů. Jako první je zde přestaven n-paralelní skákající konečný automat, který rozšiřuje původní model skákajícího konečného automatu a podporu většího množství čtecích hlav. Práce následně studuje sílu tohoto modelu ve dvou rozdílných skákajících módech. Následuje představení dvojitě skákajících konečných automatů, u kterých jsou zkoumány pokročilé skákající módy využívající dvě čtecí hlavy. Kromě síly těchto modelů jsou zde zkoumány i uzávěrové vlastnosti příslušných tříd jazyků. Jako poslední jsou v této části představeny skákající 5'->3' Watson-Crick konečné automaty, které kombinují skákající chování s biologií inspirovanými Watson-Crick konečnými automaty. Opět je zde zkoumána síla tohoto modelu a to i s uvážením rozličných omezujících podmínek. Třetí část práce je zaměřena na prezentaci nových výsledků v oblasti CD gramatických systémů. Jsou zde prezentovaný dva typy transformací, které dokáží převést libovolnou obecnou gramatiku na dvoukomponentový obecný CD gramatický systém velmi redukované a zjednodušené formy. Kromě této významné redukce a zjednodušení prezentuje práce i několik dalších užitečných vlastností souvisejících s těmito systémy. V poslední části textu jsou pak nastíněny možné oblasti využití představených modelů a normálních forem. Práce je následně uzavřena souhrnem dosažených výsledků a závěrečnými poznámkami k dalšímu směřování výzkumu. | en |
dc.description.abstract | The present thesis introduces and studies new possibilities of parallel processing in formal models. More specifically, it focuses its attention on parallel versions of jumping finite automata and on normal forms of grammars with interesting parallel properties. In the first part of this thesis, we give an initial motivation for studying parallel processing in formal models. We briefly introduce jumping models and normal forms of grammars and grammar systems. Finally, we state the precise focus and goals of our research. The second part of this thesis is focused on new results on jumping finite automata. First, we introduce n-parallel jumping finite automata that enhance the original jumping finite automaton model with multiple reading heads. The rest of the chapter then studies the accepting power of the model under two different jumping modes. Second, we introduce double-jumping finite automata and explore advanced jumping modes utilizing two heads. We study the accepting power of the models and also the closure properties of the related language families. Lastly, we introduce jumping 5'->3' Watson-Crick finite automata that combine the jumping behavior with the biology-inspired Watson-Crick finite automata that process double-stranded DNA sequences. The rest of this chapter then studies the accepting power of the model under unrestricted and various restricted conditions. The third part of this thesis is focused on new results on CD grammar systems. We introduce two types of transformations that turn arbitrary general grammars into equivalent two-component general CD grammar systems of very reduced and simplified forms. Apart from the reduction and simplification, we describe several other useful properties concerning these systems and the way they work. In the last part, we mention possible application perspectives for the introduced models and normal forms, and we conclude the thesis with the final summary and the description of theoretical perspectives for the achieved results. | cs |
dc.description.mark | P | cs |
dc.identifier.citation | KOCMAN, R. O paralelním zpracování ve formálních modelech [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. . | cs |
dc.identifier.other | 136688 | cs |
dc.identifier.uri | http://hdl.handle.net/11012/209792 | |
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 | paralelní zpracování | en |
dc.subject | nespojité čtení pásky | en |
dc.subject | paralelní čtení pásky | en |
dc.subject | normální formy | en |
dc.subject | simulace kontextových pravidel | en |
dc.subject | homogenní pravidla | en |
dc.subject | souměrná homogenní pravidla | en |
dc.subject | obecné gramatiky | en |
dc.subject | skákající konečné automaty | en |
dc.subject | levé a pravé skoky | en |
dc.subject | n-paralelní pravě lineární gramatiky | en |
dc.subject | jazyky s řetězci sudé délky | en |
dc.subject | Watson-Crick konečné automaty | en |
dc.subject | CD gramatické systémy | en |
dc.subject | parallel processing | cs |
dc.subject | discontinuous tape reading | cs |
dc.subject | parallel tape reading | cs |
dc.subject | normal forms | cs |
dc.subject | simulated non-context-free rules | cs |
dc.subject | homogeneous rules | cs |
dc.subject | evenly homogeneous rules | cs |
dc.subject | general grammars | cs |
dc.subject | jumping finite automata | cs |
dc.subject | left and right jumps | cs |
dc.subject | n-parallel right linear grammars | cs |
dc.subject | even-length languages | cs |
dc.subject | Watson-Crick finite automata | cs |
dc.subject | CD grammar systems | cs |
dc.title | O paralelním zpracování ve formálních modelech | en |
dc.title.alternative | On Parallel Processing in Formal Models: Jumping Automata and Normal Forms | cs |
dc.type | Text | cs |
dc.type.driver | doctoralThesis | en |
dc.type.evskp | dizertační práce | cs |
dcterms.modified | 2021-06-24-10:50:55 | cs |
eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
sync.item.dbid | 136688 | en |
sync.item.dbtype | ZP | en |
sync.item.insts | 2023.06.02 08:53:40 | en |
sync.item.modts | 2023.06.02 08:14:06 | 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 |
Files
Original bundle
1 - 5 of 6
Loading...
- Name:
- final-thesis.pdf
- Size:
- 1.33 MB
- Format:
- Adobe Portable Document Format
- Description:
- final-thesis.pdf
Loading...
- Name:
- thesis-1.pdf
- Size:
- 780.75 KB
- Format:
- Adobe Portable Document Format
- Description:
- thesis-1.pdf
Loading...
- Name:
- Posudek-Vedouci prace-599_s1.pdf
- Size:
- 172.07 KB
- Format:
- Adobe Portable Document Format
- Description:
- Posudek-Vedouci prace-599_s1.pdf
Loading...
- Name:
- Posudek-Oponent prace-599_o1.pdf
- Size:
- 976.69 KB
- Format:
- Adobe Portable Document Format
- Description:
- Posudek-Oponent prace-599_o1.pdf
Loading...
- Name:
- Posudek-Oponent prace-599_o2.pdf
- Size:
- 135.15 KB
- Format:
- Adobe Portable Document Format
- Description:
- Posudek-Oponent prace-599_o2.pdf