|
|
Vizualizace rezoluční metody
Smetka, Tomáš ; Orság, Filip (oponent) ; Rozman, Jaroslav (vedoucí práce)
Tato bakalářská práce se zabývá problematikou automatického dokazování ve výrokové a predikátové logice. V teoretické části je popsána výroková a predikátová logika v návaznosti na systém jejich automatického dokazování pomocí rezoluční metody. V práci je dále popsán návrh a implementace programu, který se skládá z terminálu a serverové části. Program hledá důkaz nesplnitelnosti zadané formule a vizualizuje jednotlivé kroky vedoucí k nalezení řešení. V závěru je vyhodnocena implementace řešení a práce jako celek a také jsou popsány další možnosti rozšíření.
|
|
|
Obecný systém pro testování interpretů
Drahošová, Michaela ; Koutný, Jiří (oponent) ; Lukáš, Roman (vedoucí práce)
Práce se zabývá návrhem a implementací systému pro testování interpretů. Testování interpretů je založeno na principu porovnání výsledků interpretace testovacího programu s referenčními výsledky. Sada testovacích programů je získána pomocí překladu testovacích programů v referenčním jazyce na programy v jazyce testovaného interpretu. Testovací systém umožňuje po analýze souboru, který obsahuje popis syntaxe a sémantiky jazyka interpretu, vygenerovat testovací sadu programů pro interpret s odpovídajícími vstupy a referenčními výstupy. Pro tento účel využívá překladu jednoho vyššího programovacího jazyka na jiný.
|
|
|
Syntaktická analýza založená na řadě metod
Dolíhal, Luděk ; Goldefus, Filip (oponent) ; Meduna, Alexandr (vedoucí práce)
p, li { white-space: pre-wrap; } Hlavním cílem této práce je analýza tvorby komponentního překladače. Komponentním překladačem se zde myslí systém, který je složen z~několika vzájemně spolupracujících částí. Můj překladač je zvláštní v tom, že jeho syntaktická část sestává ze svou vzájemně spolupracujících částí. V~práci bych se chtěl zaměřit především na konstrukci jednotlivých částí překladače, dále na jejich vzájemnou komunikaci a spolupráci. Bude také nastíněno teoretické pozadí takovéhoto řešení a to pomocí gramatických systémů. Taktéž se pokusím obhájit, zda je vůbec potřebné a vhodné takový typ parseru vytvářet. V~neposlední řadě pak bude analyzován jazyk, jehož syntaktický analyzátor bude implementován zvolenou metodou.
|
|
|
Interaktivní interpret jazyka C
Blažek, Martin ; Peringer, Petr (oponent) ; Martinek, David (vedoucí práce)
Diplomová práce se zabývá implementací interaktivního interpretu jazyka C se syntaxí odpovídající normě ISO C99. Důraz je kladen na podporu výuky jazyka C a rychlé prototypování algoritmů. Aplikace umožňuje vytvářet programy a provádět experimenty s jazykovými konstrukcemi bez nutnosti kompilace. Uživatelské rozhraní plní funkci editoru a zároveň jednoduchého debuggeru. Pro tvorbu interpretu je použito vývojové prostředí ANTLRWorks. Je kompletně napsáno v jazyce Java využívající knihovní funkce nástroje ANTLR v3.
|
|
|
Script pro zpracování obrazu
Zuzaňák, Jiří ; Herout, Adam (oponent) ; Zemčík, Pavel (vedoucí práce)
Tato práce pojednává o návrhu skriptovacího jazyka, určeného pro efektivní zpracování obrazu. Úvod této práce se zabývá studiem a osvojením si metod návrhu překladačů a interpretů, včetně jejich následné aplikace při návrhu skriptovacího jazyka a jeho interpretu. Práce dále popisuje metody návrhu a implementace interpretu, včetně automatizovaných metod využitých při návrhu implementovaného programu. Další část práce se zabývá popisem struktury a implementace navrženého programu, určeného pro generování překladače libovolného jazyka, popsaného jako vstup tohoto programu. Konec práce podrobněji popisuje navržený skriptovací jazyk, jehož implementace je založena na výše popsaných metodách.
|
|
|
Pokročilé generování syntaktických analyzátorů
Havranek, Daniel ; Kövári, Adam (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato práce se zabývá generováním syntaktických analyzátorů pomocí nástrojů používajících pokročilé metody syntaktické analýzy. Tyto metody jsou porovnány jak z teoretického, tak z praktického hlediska. Podrobně je pak zkoumán nástroj GNU Bison, který používá metodu LALR(1) a Generalizovanou LR analýzu, a nástroj ANTLR používající modernější metodu ALL(*). Pro porovnání efektivity těchto nástrojů je pomocí nich implementován syntaktický analyzátor pro smyšlený programovací jazyk, který demonstruje silné a slabé stránky jednotlivých přístupů. Provedeným výzkumem bylo zjištěno, že je nástroj GNU Bison mnohem výkonnější, zatímco ANTLR jej předčí z hlediska funkcionality a přívětivosti implementace. Výsledky této práce mohou pomoci při rozhodování, který přístup či nástroj zvolit při implementaci syntaktického analyzátoru.
|
|
|
Inkrementální statická analýza pro jazyk YARA
Dvořák, Vojtěch ; Kolář, Dušan (oponent) ; Regéciová, Dominika (vedoucí práce)
Hlavním cílem této bakalářské práce je navrhnout a implementovat programovou knihovnu, jež umožní inkrementální statickou analýzu jazyka YARA. Jedním z hlavních účelů této nové knihovny je integrace s open-source projektem Yara Language Server, který vyvíjí firma Avast. Oproti dosavadnímu řešení, jež využívá neinkrementální přístup k analýze, by mělo dojít ke snížení nároků na strojový čas. Kromě informací o programovém řešení je součástí této práce rovněž souhrn teorie zaměřující se na statickou analýzu a její inkrementální variantu, zásadní informace o nástroji YARA a také seznámení s dosavadním řešením, s knihovnou Yaramod-v3. Dále je v práci zahrnuto také srovnání nové knihovny s tímto dosavadním řešením, v němž jsou prezentovány dosažené výsledky. Provedené experimenty ukázaly, že nová knihovna je schopná provést inkrementální analýzu modifikované sady pravidel přibližně 20× – 2000× rychleji v závislosti na konkrétní sadě.
|
|
|
Discourse analysis of language of tabloids
Gazdošová, Sára ; Walek, Agata (oponent) ; Langerová, Petra (vedoucí práce)
In this thesis, various levels of language analysis are described. Lexical, grammatical, and stylistic levels as well as aspects of language such as cohesion, coherence and context are included. The thesis is divided into two parts. The first, theoretical part, provides an overview of more general information concerning discourse analysis, mainly theoretical information with examples. The provided information is useful when analysing the language of tabloids themselves later. An insight into mass media’s history and its types is present. The second, practical part of the thesis, analyses the language of the online versions of tabloid newspapers Daily Mail and The Sun. Their appearance and layout are briefly described. Chosen aspects of each language analysis level are shown and explained on examples from the mentioned newspapers.
|
|
|
Syntaktický analyzátor zdrojových textů ve formátu ConTeXt
Hanuš, Adam
Tato diplomová práce se zabývá syntaktickou analýzou zdrojových textů nabázi TeX-u. V dokumentu je sestaven přehled základních pojmů teorie formálních jazyků, dále je zde vysvětlena práce překladače ve všech analytických fázích překladu a nesmí se zapomenout také na představení programovacího jazyka Lua a sázecího systém ConTeXt. Cílem práce je implementace syntaktického analyzátoru pro zdrojové texty formátu ConTeXt. Implementace je doprovázena popisem postupného vývoje řešení lexikální analýzy, syntaktické analýzy,tvorby diagramu syntaxí a bezkontextové gramatiky.
|
|
|
Pokročilé generování syntaktických analyzátorů
Havranek, Daniel ; Kövári, Adam (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato práce se zabývá generováním syntaktických analyzátorů pomocí nástrojů používajících pokročilé metody syntaktické analýzy. Tyto metody jsou porovnány jak z teoretického, tak z praktického hlediska. Podrobně je pak zkoumán nástroj GNU Bison, který používá metodu LALR(1) a Generalizovanou LR analýzu, a nástroj ANTLR používající modernější metodu ALL(*). Pro porovnání efektivity těchto nástrojů je pomocí nich implementován syntaktický analyzátor pro smyšlený programovací jazyk, který demonstruje silné a slabé stránky jednotlivých přístupů. Provedeným výzkumem bylo zjištěno, že je nástroj GNU Bison mnohem výkonnější, zatímco ANTLR jej předčí z hlediska funkcionality a přívětivosti implementace. Výsledky této práce mohou pomoci při rozhodování, který přístup či nástroj zvolit při implementaci syntaktického analyzátoru.
|
host ::
RSS.