Alternativní verze hlubokých zásobníkových automatů a jejich aplikace
Loading...
Date
Authors
Klembara, Radovan
ORCID
Advisor
Referee
Mark
C
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract
Náplňou tejto práce je návrh nových verzií hlbokých zásobníkových automatov, ich následná analýza a~aplikácia v~informatike. V~práci predstavujem dve nové verzie automatov. Moje modifikácie hlbokých zásobníkových automatov spočívajú v~pridaní paralelného spracovávania expanzných prechodov. Prvá verzia sa líši od druhej tým, že počet expanzných prechodov v~každom paralelnom kroku môže byť premenlivý. Pre vytvorené verzie som navrhol algoritmy, pomocou ktorých je možné previesť dané verzie na základné hlboké zásobníkové automaty. Ďalej som vytvoril aj algoritmy pre prevod základných hlbokých zásobníkových automatov späť na tieto nové verzie. Navrhnuté alternatívy hlbokých zásobníkových automatov sú vďaka paralelizmu rýchlejšie ako ich základná verzia. Ich analýzou som zistil, že ich vyjadrovacia sila je rovná sile základnej verzie hlbokých zásobníkových automatov. Pre jednoduchý prevod medzi automatmi som naprogramoval konzolovú aplikáciu, ktorá implementuje navrhnuté algoritmy prevodov. Riešenie tejto práce dovoľuje namiesto návrhu základného hlbokého zásobníkového automatu navrhnúť jeho paralelnú verziu, čo môže viesť k rýchlejšiemu a~jednoduchšiemu návrhu. Navrhnuté riešenie je potom možné jednoducho algoritmom previesť späť na základnú verziu. Navrhnuté alternatívy hlbokých zásobníkových automatov sú vďaka paralelizmu rýchlejšie ako ich základná verzia. Ich analýzou som zistil, že ich vyjadrovacia sila je rovná sile základnej verzie hlbokých zásobníkových automatov. Pre jednoduchý prevod medzi automatmi som naprogramoval konzolovú aplikáciu, ktorá implementuje navrhnuté algoritmy prevodov. Riešenie tejto práce dovoľuje namiesto návrhu základného hlbokého zásobníkového automatu navrhnúť jeho paralelnú verziu, čo môže viesť k rýchlejšiemu a~jednoduchšiemu návrhu. Navrhnuté riešenie je potom možné jednoducho algoritmom previesť späť na základnú verziu.
The goal of this thesis is to design new versions of deep pushdown automata, their analysis and aplication in informatics. In this thesis I present two new versions of automata. The idea behind modificatons is to add parallel processing of expansive transitions. The first version differs from second one by variable number of expansive transitions in each parallel step. For each new version I have created algorithms, which can be used to convert these versions to basic deep pushdown automata. Furhtermore I have created algorithms for converting basic deep pushdown automata back to these new versions. Proposed alternative versions of deep pushdown automata are faster than their basic version thanks to the paralelism. Through their analysis I have found out that their strength is same as strength of basic deep pushdown automata. For easier conversion between automata I have programmed console application, which implements proposed conversion algorithms. Solution of this thesis allows designing parallel version of deep pushdown automaton instead of basic deep pushdown automaton, that can result in faster and more efective design. Created automaton then can be easily converted via algorithm to basic version.
The goal of this thesis is to design new versions of deep pushdown automata, their analysis and aplication in informatics. In this thesis I present two new versions of automata. The idea behind modificatons is to add parallel processing of expansive transitions. The first version differs from second one by variable number of expansive transitions in each parallel step. For each new version I have created algorithms, which can be used to convert these versions to basic deep pushdown automata. Furhtermore I have created algorithms for converting basic deep pushdown automata back to these new versions. Proposed alternative versions of deep pushdown automata are faster than their basic version thanks to the paralelism. Through their analysis I have found out that their strength is same as strength of basic deep pushdown automata. For easier conversion between automata I have programmed console application, which implements proposed conversion algorithms. Solution of this thesis allows designing parallel version of deep pushdown automaton instead of basic deep pushdown automaton, that can result in faster and more efective design. Created automaton then can be easily converted via algorithm to basic version.
Description
Keywords
Formálne jazyky, automaty, gramatiky, zásobníkové automaty, hlboké zásobníkové automaty, paralelné hlboké zásobníkové automaty, násobné paralelné hlboké zásobníkové automaty, bioinformatika, DNA opakovania, RNA pseudouzly, Formal languages, automata, grammar, pushdown automata, deep pushdown automata, parallel deep pushdown automata, tuple parallel deep pushdown automata, bioinformatics, DNA repetitions, RNA pseudoknots
Citation
KLEMBARA, R. Alternativní verze hlubokých zásobníkových automatů a jejich aplikace [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.
Document type
Document version
Date of access to the full text
Language of document
sk
Study field
Softwarové inženýrství
Comittee
prof. Ing. Tomáš Hruška, CSc. (předseda)
doc. RNDr. Jitka Kreslíková, CSc. (člen)
Ing. Zbyněk Křivka, Ph.D. (člen)
doc. RNDr. Pavel Smrž, Ph.D. (člen)
Ing. Libor Polčák, Ph.D. (člen)
doc. Ing. Michal Bidlo, Ph.D. (člen)
Date of acceptance
2023-06-21
Defence
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm C.
Result of defence
práce byla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení