Implementace větvících regulárních výrazů
Implementation of forkable regular expressions
dc.contributor.advisor | Polách Radomír | |
dc.contributor.author | Sochor Miroslav | |
dc.date.accessioned | 2018-06-19T21:56:50Z | |
dc.date.available | 2018-06-19T21:56:50Z | |
dc.date.issued | 2018-06-13 | |
dc.identifier | KOS-695599686905 | |
dc.identifier.uri | http://hdl.handle.net/10467/76791 | |
dc.description.abstract | Větvící regulární výrazy jsou regulární výrazy rozšířené o unární operátor Fork. Tento operátor přidává souběžnou složku k výrazům. Cílem práce je tyto Větvící regulární výrazy implementovat, aby se daly využít k analýze paralelních programů. V práci jsou Větvící regulární výrazy rozšířeny o operátory Atomic, Sync a Async a převedeny metodou Brzozowského derivátů na konečný automat. Tento automat reprezentuje chování programu popsaného výrazem. | cze |
dc.description.abstract | Forkable regular expressions are regular expressions extended with unary operator Fork. Fork adds concurrent part to the expressions. The goal of this thesis is to implement Forkable regular expressions, so that they can be used to analyze parallel programs. This thesis extends Forkable regular expressions with operators Atomic, Sync and Async. These extended Forkable regular expressions are transformed into a finite-state machine using Brzozowski derivatives. This automaton represents effects of a program described by the expression and its behavior. | eng |
dc.language.iso | ENG | |
dc.publisher | České vysoké učení technické v Praze. Vypočetní a informační centrum. | cze |
dc.publisher | Czech Technical University in Prague. Computing and Information Centre. | eng |
dc.rights | A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.html | eng |
dc.rights | Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html | cze |
dc.subject | větvící výrazy,deriváty,souběžnost,regulární výrazy,automaty | cze |
dc.subject | forkable expressions,derivatives,concurrency,regular expressions,automata | eng |
dc.title | Implementace větvících regulárních výrazů | cze |
dc.title | Implementation of forkable regular expressions | eng |
dc.type | bakalářská práce | cze |
dc.type | bachelor thesis | eng |
dc.date.accepted | 2018-06-18 | |
dc.contributor.referee | Trávníček Jan | |
theses.degree.discipline | Teoretická informatika | cze |
theses.degree.grantor | katedra teoretické informatiky | cze |
theses.degree.programme | Informatika | cze |
Soubory tohoto záznamu
Tento záznam se objevuje v následujících kolekcích
-
Bakalářské práce - 18101 [337]