|
|
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ě.
|
|
|
Qualitative analysis of professional terminology in specialized fields
Homolka, Adam ; Zmrzlá, Petra (oponent) ; Šťastná, Dagmar (vedoucí práce)
The aim of the Bachelor’s thesis is to characterize professional style (features, functions, form, syntax, lexicon) and then to summarize the theoretical knowledge in the field of translation of professional style concerning terminology and translation procedures at the lexical and grammatical level. The practical part of the bachelor’s thesis will focus on application of theoretical knowledge in the quantitative analysis of selected professional texts.
|
|
|
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.
|
|
|
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.
|
|
| |
|
|
Gramatický a lexikální rozbor učebnice čínštiny N. A. Spěšněva Vvěděnije v kitajskij jazyk
Šmejkalová, Natalie ; Zádrapa, Lukáš (vedoucí práce) ; Pavlík, Štěpán (oponent)
Cílem práce je provést kompletní gramatický a lexikální rozbor učebnice čínské konverzace od petrohradského profesora N. A. Spěšněva Vvěděnije v kitajskij jazyk. Výsledky analýzy jsou porovnávány s učebnicí Oldřicha Švarného Úvod do studia hovorové čínštiny a Frekvenčním slovníkem současné čínštiny. Na základě výsledků a srovnání je posouzena míra pokrytí základní slovní zásoby a gramatiky ve Spěšněvově učebnici coby učebnici pro první ročník studentů sinologie. Výsledkem lexikální analýzy je seznam všech použitých lexikálních jednotek, jejich gramatických funkčních charakteristik, významů, použití a údajů o jejich frekvenci v současné čínštině. Výsledkem gramatické analýzy je přehled všech gramatických konstrukcí a jevů, které se v učebnici vyskytnou. Součástí gramatického rozboru je podání uceleného pohledu na dané gramatické jevy a srovnání jejich různého chápání v různých gramatických systémech. Na závěr práce jsou zhodnoceny klady a zápory Spěšněvovy učebnice a navrženy způsoby jejího využití v komplexní jazykové výuce. Klíčová slova čínština, hovorová čínština, gramatika čínštiny, gramatická analýza, lexikální analýza, syntax, výuka čínštiny, učebnice čínštiny
|
|
| |
|
|
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ť.
|
host ::
RSS.