|
|
Gramatické systémy a syntaxí řízený překlad založený na nich
Handlíř, Jaroslav ; Martiško, Jakub (oponent) ; Meduna, Alexandr (vedoucí práce)
Práce zkoumá teorii formálních jazyků v oblasti bezkontextových gramatik. Zaměřuje se především na možnosti a modely spolupráce více gramatik při řešení společného problému. V těchto souvislostech představuje gramatické systémy, které byly navrženy jako formální prostředek pro popis distribuovaného a paralelního zpracování. Po uvedení do dané problematiky se práce zaměřuje na praktické uplatnění těchto mechanismů při syntaxí řízeném překladu, a proto je druhá část práce věnována implementaci dynamického syntaktického analyzátoru, který během analýzy aplikuje více gramatik. S ohledem na co největší uživatelskou přívětivost a možné didaktické použití je aplikace implementována pomocí moderních webových technologií HTML5, JavaScript, AngularJS, CSS3, LESS a další.
|
|
|
Grafický prohlížeč a jednoduchý editor ELF souboru
Omacht, Martin ; Martiško, Jakub (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato práce má za cíl vytvoření aplikace s grafickým uživatelským rozhraním, která poskytuje grafický náhled na vnitřní strukturu binárního souboru ve formátu ELF a také umožňuje jednoduchou editaci. Aplikace zvládá načítat poškozené soubory a podporuje platformy Windows, Linux i macOS. Implementována je v jazyce C++ a grafické rozhraní je vytvořeno pomocí knihovny Qt. Pro zobrazení vnitřní struktury souboru ELF byl navrhnut a implementován vlastní diagram.
|
|
| |
|
|
Grafický prohlížeč a jednoduchý editor ELF souboru
Veškrna, Tomáš ; Martiško, Jakub (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato práce se zabývá tvorbou jednoduchého grafického prohlížeče a editoru ELF binárních souborů. Cílem práce je poskytnout jednodušší práci s ELF soubory, i když byly dříve poškozeny špatnou úpravou. Výsledný software musí být multiplatformní, tudíž pro zpracování grafického uživatelského rozhraní je použita knihovna Qt. Pro práci s ELF soubory je použita knihovna elf.h. Samotná aplikace je implementována pomocí jazyka C++. Výslednou aplikaci je možné spustit na operačním systému Linux, potažmo Microsoft Windows.
|
|
|
Multidimensionální jazyky a jejich automaty
Dibďák, Lukáš ; Martiško, Jakub (oponent) ; Meduna, Alexandr (vedoucí práce)
Práce seznamuje s teorií formálních jazyků a konečných automatů. Popisuje zobecnění této teorie do dvou rozměrů. Představuje základní typy dvoudimensionálních automatů, přede- vším teselační automaty. Pro teselační automaty jsou nabídnuty algoritmy k jejich determinizaci. Jeden z algoritmů je následně používán přiloženou aplikací pro determinizaci.
|
|
|
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ů.
|
|
|
Gramatické systémy a syntaktická analýza na nich založená
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ů. Zaměřuje se především na systémy orientované sekvenčně. Cílem práce je obohatit syntaktickouanalýzu o přístupy na těchto systémech založené. Vychází z bezkontextových metod syntaktické analýzy, které propojuje a rozšiřuje. Poskytuje návod k zjednodušení bezkontextových gramatik dekompozicí na vzájemně komunikující komponenty. Velká pozornost je věnována zvýšení generativní kapacity LL syntaktické analýzy. V rámci práce se podařilo sestrojit bezkontextové struktury, které jsou schopny generovat kontextové jazyky. Práce zároveň poskytuje návod k jejich implementaci. Prezentuje syntaktický analyzátor založený na LL tabulce, který dokáže zpracovat deterministické kontextové jazyky. Pomocí uvedených metod je možné rozšířit řadu používaných jazyků o kontextové prvky, především o prvkypopírající větu o iteraci.
|
|
|
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.
|
|
|
Sekvenční a paralelní gramatiky: vlastnosti a aplikace
Klobučníková, Dominika ; Martiško, Jakub (oponent) ; Meduna, Alexandr (vedoucí práce)
Táto práca sa zaoberá problematikou sekvenčných a paralelných gramatík. Obe skupiny zastrešujú veľké množstvo gramatických tried, väčšina ktorých však nemá veľké uplatnenie kvôli komplikáciám spojeným s ich spracovaním. Práca skúma niektoré takéto gramatiky, ako napríklad gramatiky s rozptýleným kontextom, multigeneratívne gramatické systémy a interaktívne L-systémy s dôrazom na ich normálne formy. Práca následne predstavuje niekoľko algoritmov využívajúcich vlastnosti týchto gramatík, ako aj ich normálnych foriem. Tieto algoritmy sú založené na algoritme Cocke-Younger-Kasami pre bezkontextové gramatiky a dokážu spracovať ľubovoľnú gramatiku v príslušnej normálnej forme. Posledná časť práce predstavuje program implementujúci navrhnuté algoritmy.
|
|
|
Grafický prohlížeč a jednoduchý editor ELF souboru
Omacht, Martin ; Martiško, Jakub (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato práce má za cíl vytvoření aplikace s grafickým uživatelským rozhraním, která poskytuje grafický náhled na vnitřní strukturu binárního souboru ve formátu ELF a také umožňuje jednoduchou editaci. Aplikace zvládá načítat poškozené soubory a podporuje platformy Windows, Linux i macOS. Implementována je v jazyce C++ a grafické rozhraní je vytvořeno pomocí knihovny Qt. Pro zobrazení vnitřní struktury souboru ELF byl navrhnut a implementován vlastní diagram.
|
host ::
RSS.