|
|
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.
|
|
|
Syntaktická analýza založená na gramatických systémech
Sedmík, Adam ; Klobučníková, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
Práce se zabývá problematikou gramatických systémů a syntaktické analýzy. V práci jsou představeny kooperačně distribuované a paralelně komunikující gramatické systémy. Na základě znalostí o gramatických systémech je navrhnut nový typ gramatických systémů se zaměřením na modularizaci syntaktické analýzy. Jsou předvedeny metody syntaktické analýzy, metoda rekurzivního sestupu a precedenční syntaktická analýza. Navržené gramatické systémy jsou předvedeny na syntaktické analýze vlastního programovacího jazyka.
|
|
|
Převod gramatik do normálních forem
Klapuchová, Mirka ; Koutný, Jiří (oponent) ; Zemek, Petr (vedoucí práce)
Práce se zabývá problematikou normálních forem z teorie formálních jazyků. Jsou zde uvedeny základní pojmy z této oblasti, dále různé typy gramatik a především normální formy a algoritmy pro převod gramatik do těchto forem. Součástí práce je popis návrhu a implementace programu, který slouží k převodu vstupní gramatiky do zadané normální formy.
|
|
| |
|
|
Obecný systém pro testování interpretů
Drahošová, Michaela ; Koutný, Jiří (oponent) ; Lukáš, Roman (vedoucí práce)
Práce se zabývá návrhem a implementací systému pro testování interpretů. Testování interpretů je založeno na principu porovnání výsledků interpretace testovacího programu s referenčními výsledky. Sada testovacích programů je získána pomocí překladu testovacích programů v referenčním jazyce na programy v jazyce testovaného interpretu. Testovací systém umožňuje po analýze souboru, který obsahuje popis syntaxe a sémantiky jazyka interpretu, vygenerovat testovací sadu programů pro interpret s odpovídajícími vstupy a referenčními výstupy. Pro tento účel využívá překladu jednoho vyššího programovacího jazyka na jiný.
|
|
|
Syntaktická analýza založená na stavových gramatikách
Svatý, Lukáš ; Vrábel, Lukáš (oponent) ; Solár, Peter (vedoucí práce)
V této bakalářské práci je zaveden syntaxí řízený překlad za pomocí stavových gramatik. Teoretická část práce je zaměřená na zavedení teoretických modelů potřebných pro pochopení syntaktické analýzy za pomocí stavových gramatik. Mezi nejdůležitejší z teoretických formálních modelů v této práci patří hluboký zásobníkový převodník a překladová gramatika vytvořená ze stavové gramatiky, které lze využít k syntaktické analýze. Praktická část práce sa zaměřuje hlavně na syntaktickou analýzu zdola nahoru pomocí stavových gramatik a její implementaci.
|
|
|
Syntaktická analýza založená na maticových gramatikách
Brindza, Dominik ; Horáček, Petr (oponent) ; Zámečníková, Eva (vedoucí práce)
Tato bakalářská práce se zabývá syntaktickou analýzou založenou na maticových gramatikách. V teoretické části nejdříve přináší několik různých pohledů na tento typ řízených gramatik a zkoumá podobnosti s klasickými bezkontextovými gramatikami. Z těchto podobností se poté v praktické části snaží vycházet při návrhu modelu prediktivní syntaktické analýzy pro některé kontextové jazyky, ke kterým můžeme sestrojit odpovídající maticové gramatiky, které je generují. V práci jsou rovněž prezentovány některé experimentální algoritmy a návrh řešení, které by se daly spíše využít při dalším vývoji projektu.
|
|
|
Hluboký syntaxí řízený překlad
Senko, Jozef ; Kučera, Jiří (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce volně navazuje na moji bakalářskou práci, která byla věnována syntaktické analýze s použítím hlubokých zásobníkových. V teoretické části je této práce je definováno vše potřebné a základní pro tuto problematiku, jako například hlubokému syntaxí řízenému překladu, zásobníkovým automatům, hlubokým zásobníkovým automatům, konečným převodníkům a hlubokým zásobníkovým převodníkům. Ve druhé části se věnuji programu, který je součástí této práce, kdy se jedná o program, který je určený pro předmět IFJ. V této části je rozebrán návrh programu, struktura a jednotlivé části programu jak z teoretické, tak i z praktické stránky.
|
|
|
Použití strukturální metody pro rozpoznávání objektů
Valsa, Vít ; Heriban, Pavel (oponent) ; Šťastný, Jiří (vedoucí práce)
Tato diplomová práce se zabývá možností využití strukturálních metod pro rozpoznávání objektů v obraze. Nejprve jsou popsány způsoby pro přípravu obrazu před samotným zpracováním. Vlastní jádro celé práce spočívá v kapitole 3, kde je podrobně rozebrán problém tvorby deformačních gramatik pro syntaktickou analýzu a jejich použití. Dále je věnován prostor syntaktickému analyzátoru interpretujícího deformační gramatiku. Závěr práce je zaměřen na testování navržených metod a jejich výsledky.
|
|
| |
host ::
RSS.