|
|
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.
|
|
|
Pattern matching in compilers
Bílka, Ondřej ; Hubička, Jan (vedoucí práce) ; Mareš, Martin (oponent)
Název práce: Pattern matching in compilers Autor: Ondřej Bílka Katedra: Katedra Aplikované Matematiky Vedoucí diplomové práce: Jan Hubička, Katedra Aplikované Matematiky Abstrakt: V této práci vyvineme nástroje na efektivní a flexibilní pattern matching. Představíme specializovaný programovací jazyk amethyst. Jedna z funkcí amethystu je generatování parserů. Také může sloužit jako alterna- tiva k regulárním výrazum. Naš systém umí generovat dynamické parsery. Jejich hlavní uplatnění je tvorba nástroju do IDE jako např. interaktivní zvýrazňovač syntaxe nebo detektor chyb. Amethyst umí zpracovávat i obecné datové struktury. Plánované využití je implementace kompilátorových optimal- izací jako napřiklad propagace konstant či rozvrhování instrukcí a jiné optimal- izace založené na dataflow analyze. Generované parsery jsou víceméně top-down parsery. Představíme nový algo- ritmus pro parsovaní strukturovaných gramatik v linearním čase. Amethyst používá techniky z kompilatorů pro optimalizovaní generovaných parserů. Klíčová slova: packrat parsování, dynamické parsování, strukturované gramatiky, funkcionální programování 1
|
|
|
Lingvistická charakteristika současného komiksu
Hradečný, Aleš ; Palkosková, Olga (vedoucí práce) ; Chejnová, Pavla (oponent)
Práce se zabývá komiksem a zejména jeho jazykovou stránkou. V první části představuje komiks jako kulturní fenomén a jeho různé definice, z nichž pak vybere nejlepší možnou. Dále se věnuje stručné historii komiksu a jeho vývoji z různých geografických pohledů. Pozornost je věnována jazyku komiksu a zejména jeho specifika, totiž unikátního vztahu slov a obrazů. Ve druhé části je proveden rozbor dvou komiksových knih od autorky Lucie Lomové, totiž Anča a Pepík z roku 1990 a Na odstřel z roku 2014. Výsledky rozborů jsou porovnány a z nich jsou vyvozeny závěry. Na pozadí rozborů jsou představeny společné znaky komiksového jazyka.
|
|
| |
host ::
RSS.