|
| |
|
|
Systémy převodníků a jejich aplikace
Lupták, Filip ; Krčmář, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Táto práca zavádza nový formálny model „systém prevodníkov." Systém prevodníkov sa skladá z niekoľkých konečných prevodníkov, ktoré spolupracujú. Práca skúma vyjadrovaciu silu tohto formálneho modelu a ukazuje, že je silnejší ako samotný konečný prevodník. Pomocou systému prevodníkov modeluje parser aritmetických výrazov, ktorý výrazy prekladá do postfixovej notácie.
|
|
|
Evoluční návrh hašovacích funkcí pomocí gramatické evoluce
Freiberg, Adam ; Bidlo, Michal (oponent) ; Sekanina, Lukáš (vedoucí práce)
Gramatická evoluce umožňuje automatizovaně vytvářet řešení různorodých problémů a to v libovolném programovacím jazyce. Právě tyto vlastnosti jsou v této práci využity k experimentálnímu vytváření nových hašovacích funkcí, jejichž hlavním zaměřením je hašování síťových toků. Takto vytvořené funkce jsou následně porovnány s již existujícími hašovacími funkcemi, vytvořenými experty v této oblasti.
|
|
|
Paralelní verze obecné syntaktické analýzy
Mikita, Tibor ; Kučera, Jiří (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato bakalářská práce se zabývá obecními metodami syntaktické analýzy. Autor studuje Cocke-Younger-Kasami algoritmus a přichází s návrhem paralelní verze. Motivací autora je zrychlení syntaktické analýzy založené na tomto algoritmu. Výsledkem práce je konzolová aplikace, která dokáže zjistit, zda vstupní řetězec patří do jazyka generovaného vstupní gramatikou, nebo nepatří, na základě navrženého paralelního algoritmu. Jako programovací jazyk byl zvolen jazyk C++. Pro dosažení paralelismu byla práce algoritmu rozdělena mezi několik vláken.
|
|
|
Obecné gramatiky: Normální formy a jejich aplikace
Klobučníková, Dominika ; Krčmář, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Táto práca sa zaoberá problematikou obecných gramatík, normálnych foriem a ich aplikácií. Zameriava sa na kontextové gramatiky ako ich špeciálne prípady. Na základe analýzy tejto množiny bol navrhnutý algoritmus využívajúci princípy Cocke-Younger-Kasami algoritmu za účelom rozhodnutia, či zadaný reťazec je vetou jazyka definovaného kontextovou gramatikou. Výsledná aplikácia implementujúca toto riešenie je navrhnutá pre prácu s kontextovými gramatikami v Penttonenovej normálnej forme.
|
|
|
New Versions of Translation Automata
Baláž, Miroslav ; Klobučníková, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis does research on new version of translation automata. It takes closer look at existing pushdown transcuders and regulated grammar. Combining these two concepts together which creates new regulated pushdown transcuder as a new form of translation automata. Examine computational power of regulated grammar and tests its usage combined with transcuder and test usablity of this new defined regulated transcuder in implementation for translating input source code.
|
|
|
Grammar-Based Translation Framework
Vít, Radek ; Kolář, Dušan (oponent) ; Meduna, Alexandr (vedoucí práce)
In this thesis, we examine existing parsing algorithms for context-free grammars. Based on these existing algorithms, we design a new model for representing LR automatons and we define a new parsing algorithm LSCELR based on that model. We modify parsing algorithms to create translation algorithms based on translation grammars. We define attribute translation grammars, an extension of translation grammars for defining the relationships between input and output symbols in translation. We implement a translation grammar-based framework ctf that implements the new parsing algorithm. We define a language for describing attribute translation grammars and implement a translator that creates source representation of these grammars for the implemented framework. A short proof of the generational power of translation grammars is provided.
|
|
|
Cestami řízené gramatiky
Adamec, Ondřej ; Soukup, Ondřej (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato diplomová práce se zabývá cestami řízenými gramatikami, gramatikami, které kladou omezení na cesty v derivačním stromě bezkontextové gramatiky. Cílem této diplomové práce je tvorba algoritmu pro převod mezi cestami řízenými gramatikami a stavovými gramatikami, což je jiný typ řízené gramatiky. Dalším cílem je na základě tohoto převodního algoritmu studovat vyjadřovací sílu cestami řízených gramatik. Převodní algoritmus je naimplementován v C++ a testován na sadě cestami řízených gramatik. Složitost algoritmu, jak časová, tak prostorová, je diskutována. Také nástroj pro syntaktickou analýzu cestami řízených gramatik je naimplementován. Složitost této analýzy je také diskutována.
|
|
|
Filtrace a profilování IP toků
Sedlák, Michal ; Tisovčík, Peter (oponent) ; Kučera, Jan (vedoucí práce)
Tato práce se zabývá filtrováním a profilováním IP toků, primárně pak dat systému IPFIX.V rámci práce je navrhnuta a implementována obecná filtrační komponenta, která má za cílbýt dostatečně efektivní a flexibilní pro použití i v jiných projektech týkajících se IP toků.Tato komponenta je poté uzpůsobena pro práci s daty ve formátu protokolu IPFIX a inte-grována do existujícího modulárního kolektoru IPFIXcol2 v podobě pluginů umožňujícíchfiltrování průchozích IPFIX dat a jejich třídení do profilů.
|
|
|
Převod gramatik do normálních forem
Klapuchová, Mirka ; Koutný, Jiří (oponent) ; Zemek, Petr (vedoucí práce)
Práce se zabývá problematikou normálních forem z teorie formálních jazyků. Jsou zde uvedeny základní pojmy z této oblasti, dále různé typy gramatik a především normální formy a algoritmy pro převod gramatik do těchto forem. Součástí práce je popis návrhu a implementace programu, který slouží k převodu vstupní gramatiky do zadané normální formy.
|
host ::
RSS.