Národní úložiště šedé literatury Nalezeno 11 záznamů.  1 - 10další  přejít na záznam: Hledání trvalo 0.01 vteřin. 
Formal Language Theory Applied in Musicology
Straková, Tereza ; Tomko, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
The aim of this thesis is to apply formal models in music. Specifically, it concentrates on the generation of musical strings. In the thesis, a scattered context grammar for generating variations of a musical motif was designed. Next, an algorithm was designed for table driven parsing of the grammars. The algorithm uses a list of stored rules, which allows it to work with only the top of a stack. The algorithm was implemented as an application, which allows the generated motifs to be played or saved.
Vícedimensionální jazykové modely a jejich aplikace ve vizuálním umění
Dohnal, Marek ; Tomko, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá aplikací formálních modelů, konkrétně čtyřcestných a celulárních dvou-dimenzionálních automatů, ve vizuálním umění. Je zde navržena sada nových modelů, které rozpoznávají vstupní mřížku sestávající z dlaždic, a následně ji modifikují a transformují. Navržené automaty jsou implementovány v rámci aplikace, která mřížku obarvuje a transformuje ve stylu sériového umění Victora Vasarelyho. Výsledek práce tvoří syntéza mřížky a barevné reference do videa, jež vizualizuje transformace navrženého celulárního automatu.
Watson-Crick Models for Formal Language Processing
Hammer, Jan ; Tomko, Martin (oponent) ; Křivka, Zbyněk (vedoucí práce)
This work focuses on Watson-Crick languages inspired by DNA computing, their models and algorithms of deciding the language membership. It analyzes a recently introduced algorithm called WK-CYK and introduces a state space search algorithm which is based on regular Breath-first search but uses a number of optimizations and heuristics to be efficient in practical use and able to analyze inputs of greater lengths. The key parts are the heuristics for pruning the state space (detecting dead ends) and heuristics for choosing the most promising branches to continue the search. These two algorithms have been tested with 20 different Watson-Crick grammars (40 including their Chomsky normal form versions). While WK-CYK is able to decide the language membership in a reasonable time for inputs of length of roughly 30-50 symbols and its performance is very consistent for all kinds of grammars and inputs, the state space search is usually (89-98 % of cases) more efficient and able to do the computation for inputs with lengths of hundreds or even thousands of symbols. Thus, the state space search has a potential to be a good tool for practical Watson-Crick membership testing and is a good basis to further build on and further improve the efficiency of the algorithm.
Systémy syntaktických analyzátorů
Kunda, Matej ; Tomko, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
Cieľom tejto práce je vytvorenie formálneho modelu nového gramatického systému, ktorý dokáže kombinovať niekoľko metód syntaktickej analýzy. Inšpiráciou k vytvoreniu gramatického systému boli kooperačne distribuované gramatické systémy, z ktorých sa vytvorila myšlienka komunikačných symbolov. Pomocou komunikačných symbolov dokážu komponenty gramatického systému komunikovať, a tak spolupracovať na tvorbe jednej vety. V práci som navrhol formálny model tohoto systému, aplikoval sa v syntaktickej analýze a následne implementoval. Výsledkom práce je aplikácia, ktorá funguje na princípe formalizovaného gramatického systému a kombinuje dve metódy syntaktickej analýzy.
Formální modely a jejich aplikace v hudbě
Makiš, Jozef ; Tomko, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
Predmetom práce je štúdium rôznych formálnych modelov, ktoré sú aplikovateľné v hudbe. Tie, ktoré sme aplikovali v tejto práci sú gramatiky s rozptýleným kontextom a absolútne nelimitovaný hlboký zásobníkovým automat. Aplikované sú na hudobnú štruktúru, ktorá sa skladá z témy a variácií. Téma je hlavná myšlienka nejakej skladby a variácie sú jej obmena rôznymi spôsobmi. Výsledok je algoritmus, ktorý je založený na preklade LL gramatiky s rozptýleným kontextom a stvárňuje tvorbu variácii.
Podpora pro výukový jazyk mezikódu
Krejčí, Ondřej ; Tomko, Martin (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato bakalářská práce se zabývá vytvářením softwarové podpory pro výukové jazyky mezikódu IPPcode, IFJcode a VYPcode používané na FIT VUT v předmětech týkajících se překladačů. Cílem práce je vytvoření rozšíření pro existující editor zdrojových textů, které pro zmíněné mezikódy přidá zvýrazňování syntaxe, interpret a ladění. Práce obsahuje zhodnocení možných editorů, následně popisuje možnosti rozšíření ve zvoleném editoru Visual Studio Code a implementaci rozšíření.
Analýza a transformace kódů založená na regulovaných gramatikách
Arbet, Matúš ; Tomko, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
Táto práca sa zaoberá analýzou a transformáciou kódu založenej na gramatikách. Práca obsahuje matematický základ operácií použitých v gramatikách a automatoch. Ich definície, sú sprevádzané príkladmi. V závere je popísaný návrh a implementácia aplikácie, so zameraním na oblasť bioinformatiky, založenej na regulovaných gramatikách.
Code Analysis and Transformation Based on Transducers
Pukančík, Marián ; Tomko, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis is concerning with Code Analysis and Transformation Based on Transducers. Thesis defines all necessary terms regarding finite and pushdown transducers and then discusses design and implementation of an application based on these types of transducers, oriented on  the area of bioinformatics.
Mnohaúrovňové automaty a jejich aplikace
Pšenák, Kamil ; Tomko, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
V tejto práci rozšírime zastarané prístupy v teoretickej informatike. Ukážeme si, že je možný paralelizmus v konečných automatoch zavedením viacúrovňového konceptu. Priblížime si proces kompilácie a stavbu kompilátoru, aby sme mali reálny príklad pre viacúrovňové konečné automaty. Posunieme sa hlbšie do teoretickej informatiky a vysvetlíme si paralelné pravo-lineárne gramatiky a jazyky. Následne si na príklade aj s návrhom implementácie dokážeme tvrdenie. Na záver si spomenieme ďalšie možné odvetvia, kde by sa tento koncept dal využiť.
Regulated Grammar Systems
Tomko, Martin ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis recaps a basic theory of formal languages, regulated grammars, and the parsing of LL(1) languages. An algorithm for parsing programmed grammars inspired by LL(1) parsing is suggested and analyzed. The class of languages accepted by this algorithm is shown to be a strict superclass of LL(1) languages, containing some non-context-free languages. However, this class appears to be incomparable with the class of context-free languages.

Národní úložiště šedé literatury : Nalezeno 11 záznamů.   1 - 10další  přejít na záznam:
Viz též: podobná jména autorů
2 Tomko, Marián
2 Tomko, Maroš
2 Tomko, Michal
1 Tomko, Miloslav
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.