|
|
Systémy syntaktických analyzátorů
Hrstka, Jan ; Martiško, Jakub (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce poskytuje ucelený přehled poznatků z oblasti gramatických systémů. Práce navrhuje, jak paralelně orientované systémy využít v sekvenční syntaktické analýze. Koncept gramatických systémů dále rozšiřuje na úroveň samotných syntaktických analyzátorů, které seskupuje do větších celků a zkoumá vlastnosti těchto uskupení. Cílem práce je obohatit syntaktickou analýzu o přístupy založené na těchto systémech. Vychází z bezkontextových metod syntaktické analýzy, které propojuje a rozšiřuje. Pozornost je především věnována zvýšení generativní kapacity LL a LR syntaktické analýzy. V rámci práce se podařilo sestrojit bezkontextové struktury, které jsou schopny přijímat kontextové jazyky. Práce zároveň poskytuje návod k jejich implementaci. Prezentuje obecný koncept syntaktické analýzy, který zvyšuje generativní kapacitu standardních metod. Využitím uvedeného přístupu je možné rozšířit řadu používaných jazyků o kontextové prvky, především o prvky popírající větu o iteraci.
|
|
|
Gramatické systémy aplikované v syntaktické analýze
Martiško, Jakub ; Kolář, Dušan (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá předevąím různými variantami gramatických systémů. Gramatické systémy kombinují relativní jednoduchost bezkontextových gramatik s generativní silou komplexnějąích gramatik. V rámci práce jsou popsány dva základní typy: PC gramatické systémy a CD gramatické systémy. Mimo to, je v rámci této práce zaveden i systém nový, který vychází z CD gramatických systémů. Na základě tohoto nového systému je také zavedena nová metoda syntaktické analýzy. Takto navrľený analyzátor pak sestává z více menąích syntaktických analyzátorů, které pracují jak metodou zdola nahoru tak i shora dolů.
|
|
|
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ě.
|
|
|
Systémy syntaktických analyzátorů
Hrstka, Jan ; Martiško, Jakub (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce poskytuje ucelený přehled poznatků z oblasti gramatických systémů. Práce navrhuje, jak paralelně orientované systémy využít v sekvenční syntaktické analýze. Koncept gramatických systémů dále rozšiřuje na úroveň samotných syntaktických analyzátorů, které seskupuje do větších celků a zkoumá vlastnosti těchto uskupení. Cílem práce je obohatit syntaktickou analýzu o přístupy založené na těchto systémech. Vychází z bezkontextových metod syntaktické analýzy, které propojuje a rozšiřuje. Pozornost je především věnována zvýšení generativní kapacity LL a LR syntaktické analýzy. V rámci práce se podařilo sestrojit bezkontextové struktury, které jsou schopny přijímat kontextové jazyky. Práce zároveň poskytuje návod k jejich implementaci. Prezentuje obecný koncept syntaktické analýzy, který zvyšuje generativní kapacitu standardních metod. Využitím uvedeného přístupu je možné rozšířit řadu používaných jazyků o kontextové prvky, především o prvky popírající větu o iteraci.
|
|
|
Gramatické systémy aplikované v syntaktické analýze
Martiško, Jakub ; Kolář, Dušan (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá předevąím různými variantami gramatických systémů. Gramatické systémy kombinují relativní jednoduchost bezkontextových gramatik s generativní silou komplexnějąích gramatik. V rámci práce jsou popsány dva základní typy: PC gramatické systémy a CD gramatické systémy. Mimo to, je v rámci této práce zaveden i systém nový, který vychází z CD gramatických systémů. Na základě tohoto nového systému je také zavedena nová metoda syntaktické analýzy. Takto navrľený analyzátor pak sestává z více menąích syntaktických analyzátorů, které pracují jak metodou zdola nahoru tak i shora dolů.
|
host ::
RSS.