|
|
Simulátor zásobníkového automatu
Graizely, Martin ; Blatný, Petr (oponent) ; Bidlo, Radek (vedoucí práce)
Vizualizácia často napomáha pochopeniu problému a umožňuje jeho rýchle osvojenie. Táto práca je zameraná na implementáciu simulátora zásobníkového automatu. Účelom tejto aplikácie je uľahčiť pochopenie tohto abstraktného stroja a jeho možností, poskytnutím vizuálneho návrhu a umožnením interaktívnej animácie algoritmu.
|
|
|
Částečně paralelní hluboké zásobníkové automaty
Ševčík, Miroslav ; Zámečníková, Eva (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce zavádí částečně paralelní hluboké zásobníkové automaty jako rozšíření sekvenčních hlubokých zásobníkových automatů. Toto rozšíření spočívá v tom, že oproti sekvenční verzi je automat schopen provést expanzi n nejvýše položených nonterminálních symbolů na zásobníků současně. Tyto automaty jsou schopné rozpoznat třídu jazyků generovanou n-omezenými stavovými gramatikami stejně jako sekvenční hluboké zásobníkové automaty. Výhoda částečně paralelních hlubokých zásobníkových automatů je ale ve vyšší rychlosti. Dále je v této práci popsána implementace aplikace, která simuluje činnost těchto automatů.
|
|
|
Syntaktická analýza založená na multigenerování
Kyjovská, Linda ; Přikryl, Zdeněk (oponent) ; Lukáš, Roman (vedoucí práce)
Práce se zabývá problematikou syntaktické analýzy založené na multigenerování. Cílem je vytvořit program, který zadaný vstupní řetězec transformuje na n- 1 výstupních řetězců. Vstupem programu je uživatelem vytvořený textový soubor obsahující pravidla n gramatik. Právě jedna gramatika je označena za vstupní a zbývajících n- 1gramatik se stává výstupními gramatikami. Na základě vstupní gramatiky se provede syntaktická analýza uživatelem zadaného řetězce, která nám určí použitá gramatická pravidla. Paralelně s touto analýzou vytváříme výstupní řetězce za použití zbývajících n- 1 gramatik. Implementace bude provedena pomocí technologií C++ a Bison.
|
|
|
Kombinovaná syntaktická analýza založená na gramatických systémech
Caha, Petr ; Solár, Peter (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá kombinovanou syntaktickou analýzou založenou na gramatických systémech. Zavádí klasické modifikované metody gramatických systémů. Nejprve budou teoreticky popsané a v další části implementované v syntaktickém analyzátoru. Základem analyzátoru je CD gramatický systém. Implementace využívá rekursivní sestup a precedenční analýzu. Analyzátor je universální, použitelný pro jakékoli gramatické systémy založené na bezkontextových a některých ne bezkontextových.
|
|
|
Regulovaný syntaxí řízený překlad
Dvořák, Tomáš ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá formálním pohledem na regulovaný syntaxí řízený překlad. První část obsahuje formální základy teorie jazyků, jejich klasifikaci a analýzu. Jsou uvedeny příklady gramatik generující jazyky, které nejsou bezkontextové, především maticové gramatiky, gramatiky s nahodilým kontextem a programované gramatika. Jsou uvedeny konečné, zásobníkové, hluboké a regulované automaty. Formálně vymezuje převodníky a jejich roli v rámci formálního a syntaxí řízeného překladu. Zavádí regulované převodníky založené na regulovaných automatech. Jádrem práce je návrh algoritmů regulované syntaktické analýzy jako rozšíření tradičních algoritmů prediktivní syntaktické analýzy. Tyto algoritmy jsou navrženy pro všechny uvedené speciální typy gramatik. Závěr práce je věnován návrhu jazyka jako prostředku pro popis těchto gramatik a překladače těchto gramatik na kód syntaktického analyzátoru a jejich grafického analyzátoru.
|
|
|
Transformace výrazů z Editoru Rovnic do LaTeXu
Šimek, Jiří ; Jirák, Ota (oponent) ; Křivka, Zbyněk (vedoucí práce)
Bakalářská práce se zabývá problémem převodu matematických výrazů z Editoru rovnic do LaTeXu. Uvádí způsob reprezentace výrazů v Editoru rovnic v aplikaci Word 2007 a následně syntaxi konkrétních výrazů s návrhem jejich převodu do LaTeXu. Na základě zjištěné syntaxe výrazů je sestavena gramatika, která byla použita pro implementaci převodníku.
|
|
|
Statická analýza zdrojového kódu jazyka CodAL
Fajčík, Martin ; Přikryl, Zdeněk (oponent) ; Hynek, Jiří (vedoucí práce)
Cílem této bakalářské práce je návrh a implementace rozšíření editorů jazyka CodAL v oblasti statické analýzy zdrojového kódu tohoto jazyka a návrhu jeho automatických oprav. Tato forma analýzy je vhodná například pro ověření sémantické korektnosti zdrojového kódu. Práce se dělí na teoretickou a praktickou část. Teoretická část této práce obsahuje obeznámení se s tvorbou rozšíření pro vývojové prostředí z řad platformy Eclipse, zejména s editorem jazyka CodAL, jazykem CodAL a vytyčením chyb tohoto jazyka vhodných pro zpracování statickou analýzou. Praktická část se zabývá konkrétní implementací prvků statické analýzy zdrojového kódu jazyka CodAL a návrhu jeho automatických oprav. Rozšiřované editory jazyka CodAL jsou dostupné ve vývojovém prostředí Codasip Studio založeném především na platformě Eclipse a projektu CDT. Produkt Codasip Studio je vyvíjený společností Codasip ve spolupráci s výzkumnou skupinou Lissom.
|
|
|
Specializovaný interpret jazyka JavaScript
Borůvka, Jan ; Rychnovský, Lukáš (oponent) ; Peringer, Petr (vedoucí práce)
Cílem diplomové práce je navrhnout a implementovat interpret jazyka JavaScript, který je vytvářen pro potřebu obcházení zatemňovacích obálek některých druhů počítačových virů. Součástí práce je podrobný rozbor vnitřních mechanismů, pomocí kterých je v ECMAScript standardu přesně definováno chování jazyka.
|
|
|
Skákající jazykové modely
Ošmera, Lubomír ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této diplomové práce je návrh a výzkum nových verzí skákajících automatů a gramatik. Nové verze jsou zaměřeny primárně na aplikace v bioinformatice - DNA computingu. Práce zkoumá jejich vyjadřovací sílu a další vlastnosti navržených modelů a porovnává je s již existujícími modely teoretické informatiky. Následně demonstruje praktické aplikace, konkrétně aplikace pro detekci aminokyselin a proteinů uvnitř DNA sekvence a provádí porovnání s již existujícími nástroji v DNA computingu, jako jsou například Markovy pravděpodobnostní modely.
|
|
|
Procedurální generování trati
Ončo, Michael ; Lysek, Tomáš (oponent) ; Milet, Tomáš (vedoucí práce)
Tato bakářská práce se zabývá procedurálním generováním nekonečné překážkové dráhy pro hru, ve které hráč tyto překážky překonává. Zkoumá vhodné způsoby, jak danou dráhu generovat. V rámci tohoto výzkumu studuje základní vlastnosti šumů a gramatik. Dále se zaměřuje hlavně na gramatiky, L-systémy a jejich vlastnosti. Výstupem této bakalářské práce je program generující překážkovou dráhu, zobrazující vygenerovanou geometrii pomocí OpenGL a umožňující tuto trať procházet.
|
host ::
RSS.