|
|
New Parallel and Regulated Automata and Grammars
Kučera, Jiří ; Průša, Daniel (oponent) ; Sawa, Zdeněk (oponent) ; Meduna, Alexandr (vedoucí práce)
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.
|
|
|
Simulátor zásobníkového automatu
Graizely, Martin ; Blatný, Petr (oponent) ; Bidlo, Radek (vedoucí práce)
Vizualizácia často napomáha pochopeniu problému a umožňuje jeho rýchle osvojenie. Táto práca je zameraná na implementáciu simulátora zásobníkového automatu. Účelom tejto aplikácie je uľahčiť pochopenie tohto abstraktného stroja a jeho možností, poskytnutím vizuálneho návrhu a umožnením interaktívnej animácie algoritmu.
|
|
|
Demonstrační program simulace zásobníkových automatů
Kuželová, Ludmila ; Koutný, Jiří (oponent) ; Lukáš, Roman (vedoucí práce)
Tato práce se zabývá zpracováním simulace zásobníkových a rozšířených automatů. Součástí práce je demonstrační program, který umožňuje uživateli zadat nastavení automatu a následně spustit simulaci přijetí vstupního řetězce automatem. Vybrána je vhodná metoda prohledávání stavového prostoru, z oboru umělé inteligence - prohledávání do šířky - Breadth First Search.
|
|
|
Systémy převodníků
Hnat, Peter ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Táto práce se zabývá převodníkovými systémy. Popisuje vlastnosti různých druhů překladových modelů. Na konkrétních příkladech porovnává vyjadřovací sílu těchto formálních modelů. Práce se nejvíc zaměřuje na konečné a zásobníkové převodníky. Zásobníkové převodníky tvoří navržený převodníkový systém. Výsledkem práce je program, vytvořený v programovacím jazyku Python 3.5.1, který demonstruje navržený prevodníkový systém.
|
|
|
Modifikované zásobníkové automaty
Hromádka, David ; Solár, Peter (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce zavádí omezené Hromádkovy automaty jako rozšíření zásobníkových automatů. Toto rozšíření spočívá v~tom, že automat může za běhu vytvářet nové zásobníky, vkládat do nich symboly vstupní abecedy, spojovat je a porovnávat se vstupním řetězcem. Počet takto vytvořených zásobníků je omezen zvolenou konstantou n . Dále tato práce popisuje implementaci aplikace, která činnost těchto automatů realizuje a hledá posloupnost derivačních kroků, kterými určitý omezený Hromádkův automat přijme zadaný vstupní řetězec.
|
|
|
New Parallel and Regulated Automata and Grammars
Kučera, Jiří ; Průša, Daniel (oponent) ; Sawa, Zdeněk (oponent) ; Meduna, Alexandr (vedoucí práce)
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.
|
|
|
Simulátor zásobníkového automatu
Graizely, Martin ; Blatný, Petr (oponent) ; Bidlo, Radek (vedoucí práce)
Vizualizácia často napomáha pochopeniu problému a umožňuje jeho rýchle osvojenie. Táto práca je zameraná na implementáciu simulátora zásobníkového automatu. Účelom tejto aplikácie je uľahčiť pochopenie tohto abstraktného stroja a jeho možností, poskytnutím vizuálneho návrhu a umožnením interaktívnej animácie algoritmu.
|
|
|
Systémy převodníků
Hnat, Peter ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Táto práce se zabývá převodníkovými systémy. Popisuje vlastnosti různých druhů překladových modelů. Na konkrétních příkladech porovnává vyjadřovací sílu těchto formálních modelů. Práce se nejvíc zaměřuje na konečné a zásobníkové převodníky. Zásobníkové převodníky tvoří navržený převodníkový systém. Výsledkem práce je program, vytvořený v programovacím jazyku Python 3.5.1, který demonstruje navržený prevodníkový systém.
|
|
|
Modifikované zásobníkové automaty
Hromádka, David ; Solár, Peter (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce zavádí omezené Hromádkovy automaty jako rozšíření zásobníkových automatů. Toto rozšíření spočívá v~tom, že automat může za běhu vytvářet nové zásobníky, vkládat do nich symboly vstupní abecedy, spojovat je a porovnávat se vstupním řetězcem. Počet takto vytvořených zásobníků je omezen zvolenou konstantou n . Dále tato práce popisuje implementaci aplikace, která činnost těchto automatů realizuje a hledá posloupnost derivačních kroků, kterými určitý omezený Hromádkův automat přijme zadaný vstupní řetězec.
|
|
|
Demonstrační program simulace zásobníkových automatů
Kuželová, Ludmila ; Koutný, Jiří (oponent) ; Lukáš, Roman (vedoucí práce)
Tato práce se zabývá zpracováním simulace zásobníkových a rozšířených automatů. Součástí práce je demonstrační program, který umožňuje uživateli zadat nastavení automatu a následně spustit simulaci přijetí vstupního řetězce automatem. Vybrána je vhodná metoda prohledávání stavového prostoru, z oboru umělé inteligence - prohledávání do šířky - Breadth First Search.
|
host ::
RSS.