|
|
Automata Systems
Petřík, Patrik ; Lukáš, Roman (referee) ; Meduna, Alexandr (advisor)
This work deals with automata systems. We define parallel automata systems and parallel communicating automata systems communicating by transitions, whose components are finite state automata. We investigate their properties compared with grammar systems or grammars.
|
|
|
A Combination of Automata and Grammars
Kučera, Jiří ; Horáček, Petr (referee) ; Meduna, Alexandr (advisor)
V této práci byly zavedeny a studovány nové systémy formálních modelů, zvané stavově synchronizované automatové systémy stupně n . Výpočet je v těchto prezentovaných systémech řízen pomocí slov patřících do konečného řídícího jazyka, kde každé slovo z tohoto jazyka je složeno ze stavů komponent systému. Dále byla v této práci studována výpočetní síla zavedených systémů. Praktické použití zavedených systémů bylo demonstrováno na příkladu z oblasti překladu přirozených jazyků a dále na příkladu z oblasti paralelního překladu.
|
|
|
Automata Systems
Kaščák, Andrej ; Rychnovský, Lukáš (referee) ; Meduna, Alexandr (advisor)
This bachelor thesis deals with automata systems, especially the ones, which are defined as state and or rule controlled parallel automata systems. Their components are finite automata systems. Definitions are retrieved from analyzing and researching already existing automata systems. In the thesis, a comparison of these systems is made with systems defined a priori. The thesis also analyzes first features of these systems, and second a possibilities of transforming the state controlled parallel automata system into the rule controlled parallel automata system and vice versa.
|
|
|
Formal Systems Based on Automata and Grammars
Čermák, Martin ; Rybička, Jiří (referee) ; Šaloun, Petr (referee) ; Meduna, Alexandr (advisor)
Tyto teze navazují na studium gramatických a automatových systémů. Na začátku, práce pojednává o regulárně řízených CD gramatických systémech využívající frázově strukturované gramatiky jako komponenty. Do systémů jsou zavedena tři nová omezení na derivacích a je studován jejich vliv na vyjadřovací sílu těchto systémů. Poté, tato práce definuje dva automatové protějšky ke kanonickým multi-generatiním nonterminálem a pravi\-dlově synchronizovyným gramatickým systemům, generujících vektory řetězců, a ukazuje, že všechny tyto vyšetřované systemy si jsou vzájemně ekvivalentní. Dále táto práce tyto systémy zobecňuje a zakládá fundamentalní hierarchii n-jazyků (množin n-tic řetězců). V~souvislosti se zavedenými systémy tyto teze zavádí automatově-gramatický převodník založený na konečném automatu a bezkontextové gramatice. Tento převodník je pak studovaný a použitý jako nástroj přímého překladu. V~poslední části jsou v této práci zavedené automatové systémy jádrem pársovací metody založené na stromově řízených gramatikách s n omezenými cestami.
|
|
|
Systems that Combine Automata and Grammars
Petřík, Patrik ; Křivka, Zbyněk (referee) ; Meduna, Alexandr (advisor)
This work deals with Systems that combine automata and grammars. We investigate their properties compared with grammar systems and automaton systems. Work is focused on systems, which components are finite state automata, right linear grammars, pushdown automata or context free grammars. We also investigate usage of these systems in compilers.
|
|
|
Formal Systems Based on Automata and Grammars
Čermák, Martin ; Rybička, Jiří (referee) ; Šaloun, Petr (referee) ; Meduna, Alexandr (advisor)
Tyto teze navazují na studium gramatických a automatových systémů. Na začátku, práce pojednává o regulárně řízených CD gramatických systémech využívající frázově strukturované gramatiky jako komponenty. Do systémů jsou zavedena tři nová omezení na derivacích a je studován jejich vliv na vyjadřovací sílu těchto systémů. Poté, tato práce definuje dva automatové protějšky ke kanonickým multi-generatiním nonterminálem a pravi\-dlově synchronizovyným gramatickým systemům, generujících vektory řetězců, a ukazuje, že všechny tyto vyšetřované systemy si jsou vzájemně ekvivalentní. Dále táto práce tyto systémy zobecňuje a zakládá fundamentalní hierarchii n-jazyků (množin n-tic řetězců). V~souvislosti se zavedenými systémy tyto teze zavádí automatově-gramatický převodník založený na konečném automatu a bezkontextové gramatice. Tento převodník je pak studovaný a použitý jako nástroj přímého překladu. V~poslední části jsou v této práci zavedené automatové systémy jádrem pársovací metody založené na stromově řízených gramatikách s n omezenými cestami.
|
|
|
Automata Systems
Petřík, Patrik ; Lukáš, Roman (referee) ; Meduna, Alexandr (advisor)
This work deals with automata systems. We define parallel automata systems and parallel communicating automata systems communicating by transitions, whose components are finite state automata. We investigate their properties compared with grammar systems or grammars.
|
|
|
Automata Systems
Kaščák, Andrej ; Rychnovský, Lukáš (referee) ; Meduna, Alexandr (advisor)
This bachelor thesis deals with automata systems, especially the ones, which are defined as state and or rule controlled parallel automata systems. Their components are finite automata systems. Definitions are retrieved from analyzing and researching already existing automata systems. In the thesis, a comparison of these systems is made with systems defined a priori. The thesis also analyzes first features of these systems, and second a possibilities of transforming the state controlled parallel automata system into the rule controlled parallel automata system and vice versa.
|
|
|
Systems that Combine Automata and Grammars
Petřík, Patrik ; Křivka, Zbyněk (referee) ; Meduna, Alexandr (advisor)
This work deals with Systems that combine automata and grammars. We investigate their properties compared with grammar systems and automaton systems. Work is focused on systems, which components are finite state automata, right linear grammars, pushdown automata or context free grammars. We also investigate usage of these systems in compilers.
|
|
|
A Combination of Automata and Grammars
Kučera, Jiří ; Horáček, Petr (referee) ; Meduna, Alexandr (advisor)
V této práci byly zavedeny a studovány nové systémy formálních modelů, zvané stavově synchronizované automatové systémy stupně n . Výpočet je v těchto prezentovaných systémech řízen pomocí slov patřících do konečného řídícího jazyka, kde každé slovo z tohoto jazyka je složeno ze stavů komponent systému. Dále byla v této práci studována výpočetní síla zavedených systémů. Praktické použití zavedených systémů bylo demonstrováno na příkladu z oblasti překladu přirozených jazyků a dále na příkladu z oblasti paralelního překladu.
|
guest ::
