Alternativní verze hlubokých zásobníkových automatů a jejich aplikace

Simple item page
but.committeeprof. 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)cs
but.defenceStudent 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.cs
but.jazykslovenština (Slovak)
but.programInformační technologie a umělá inteligencecs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorMeduna, Alexandrsk
dc.contributor.authorKlembara, Radovansk
dc.contributor.refereeKocman, Radimsk
dc.date.created2023cs
dc.description.abstractNá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.sk
dc.description.abstractThe 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.en
dc.description.markCcs
dc.identifier.citationKLEMBARA, 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.cs
dc.identifier.other141059cs
dc.identifier.urihttp://hdl.handle.net/11012/213187
dc.language.isoskcs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectFormálne jazykysk
dc.subjectautomatysk
dc.subjectgramatikysk
dc.subjectzásobníkové automatysk
dc.subjecthlboké zásobníkové automatysk
dc.subjectparalelné hlboké zásobníkové automatysk
dc.subjectnásobné paralelné hlboké zásobníkové automatysk
dc.subjectbioinformatikask
dc.subjectDNA opakovaniask
dc.subjectRNA pseudouzlysk
dc.subjectFormal languagesen
dc.subjectautomataen
dc.subjectgrammaren
dc.subjectpushdown automataen
dc.subjectdeep pushdown automataen
dc.subjectparallel deep pushdown automataen
dc.subjecttuple parallel deep pushdown automataen
dc.subjectbioinformaticsen
dc.subjectDNA repetitionsen
dc.subjectRNA pseudoknotsen
dc.titleAlternativní verze hlubokých zásobníkových automatů a jejich aplikacesk
dc.title.alternativeAlternative Versions of Deep Pushdown Automata and Their Applicationsen
dc.typeTextcs
dc.type.drivermasterThesisen
dc.type.evskpdiplomová prácecs
dcterms.dateAccepted2023-06-21cs
dcterms.modified2023-06-21-13:30:10cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid141059en
sync.item.dbtypeZPen
sync.item.insts2025.03.26 15:37:17en
sync.item.modts2025.01.17 13:38:45en
thesis.disciplineSoftwarové inženýrstvícs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémůcs
thesis.levelInženýrskýcs
thesis.nameIng.cs
Files
Original bundle
Now showing 1 - 3 of 3
Thumbnail Image
Name:
final-thesis.pdf
Size:
2.4 MB
Format:
Adobe Portable Document Format
Description:
final-thesis.pdf
Download
Thumbnail Image
Name:
appendix-1.zip
Size:
5.27 MB
Format:
zip
Description:
appendix-1.zip
Download
Thumbnail Image
Name:
review_141059.html
Size:
12.04 KB
Format:
Hypertext Markup Language
Description:
file review_141059.html
Download
Collections
2023