|
|
Překladač jazyka stavového diagramu do jazyka CHILL
Goldmannová, Zuzana ; Matoušek, Petr (oponent) ; Ryšavý, Ondřej (vedoucí práce)
Tato práce se zabývá gramatikou existujícího proprietárního jazyka stavových diagramů, který se používá k modelaci stavových automatů použitých v pobočkových ústřednách. Cílem práce byla analýza gramatiky a stávajícího překladače z tohoto jazyka do jazyka CHILL a návrh a implementace překladače nového. Tento překladač bude lépe udržovatelný a odstraňovat chyby a nedostatky stávajícího řešení. Závěrem je tento překladač otestován za použití jak již existujících souborů, které byly dříve vytvořeny pro stávající překladač, tak souborů, které jsem vytvořila pro testovací účely.
|
|
|
Řízená syntaktická analýza
Wolf, Dominik ; Solár, Peter (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá rozšířenými modely bezkontextových gramatik a zkoumá možnosti jejich úpravy a využití pro deterministickou syntaktickou analýzu pomocí metod hluboké syntaktické analýzy struktur, které nejsou bezkontextové. Zavádí upravený bezkontextový model LL programovaných gramatik a hlubokého zásobníkového automatu, umožňující deterministickou syntaktickou analýzu těchto struktur.
|
|
|
Skriptovací jazyk pro zpracování obrazu
Crlík, Radek ; Španěl, Michal (oponent) ; Zemčík, Pavel (vedoucí práce)
Tato bakalářská práce se zabývá možnostmi skriptovacích jazyků a jejich druhů. Konkrétně pak návrhu takového jazyka pro obor zpracování obrazů. Cílem bylo vytvoření jazyka, který je malý, ale lehce použitelný. Cílem bylo využít knihovny OpenCV, pro kterou by výsledný jazyk umožňoval co nejkratší zápis kódu. První část se zabývá popisem a zpracováním skriptovacích jazyků počítačem. Druhá část obsahuje popis navrhovaného jazyka. Třetí a poslední část, dokumentuje možnosti dalšího rozšíření.
|
|
| |
|
|
Nové verze skákajících automatů
Ošmera, Lubomír ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této bakalářské práce je návrh a výzkum nových verzí skákajících automatů, konkrétně se jedná o verze obecných skákajících automatů s jasně specifikovanými kritérii směru a velikosti skoku. Práce zkoumá jejich sílu v porovnání s ostatními typy automatů a odhaluje ekvivalentní modely gramatik. Důvodem vypracování této práce je výzkum a snaha o vylepšení některých vlastností obecného skákajícího automatu. Následně je v práci zváženo využití tohoto formálního prostředku za účelem zpracování určitého typu jazyků a využití v průběhu syntaktické analýzy.
|
|
|
Obecné gramatiky: Normální formy a jejich aplikace
Klobučníková, Dominika ; Krčmář, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Táto práca sa zaoberá problematikou obecných gramatík, normálnych foriem a ich aplikácií. Zameriava sa na kontextové gramatiky ako ich špeciálne prípady. Na základe analýzy tejto množiny bol navrhnutý algoritmus využívajúci princípy Cocke-Younger-Kasami algoritmu za účelom rozhodnutia, či zadaný reťazec je vetou jazyka definovaného kontextovou gramatikou. Výsledná aplikácia implementujúca toto riešenie je navrhnutá pre prácu s kontextovými gramatikami v Penttonenovej normálnej forme.
|
|
|
Syntaktická analýza založená na gramatikách s nahodilým kontextem
Mikita, Martin ; Solár, Peter (oponent) ; Vrábel, Lukáš (vedoucí práce)
Tato bakalářská práce popisuje gramatiku s nahodilým kontextem a implementaci aplikace, která bude konvertovat gramatiku (respektující LL podmínku) na ekvivalentní bezkontextovou gramatiku (také splňující podmínku LL). Výslednou gramatiku je možné použít ve stávajících generátorech parseru, který přijme yacc-kompatibilní formát. Tato práce používá GNU Bison generátor, pro který byl zavedený zapouzdřený skript. Potenciální výhodou gramatiky s nahodilým kontextem je dokázaný úspornější zápis oproti bezkontextové gramatiky pro některé jazyky.
|
|
|
Gramatické systémy aplikované v překladačích
Reš, Jakub ; Klobučníková, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této práce je navrhnout metodu konstrukce kompilátoru založenou na konceptu gramatických systémů, která umožní uživateli libovolně kombinovat dílčí existující konstrukční metody. Řešení zvoleného problému spočívá ve využití kooperujících distribuovaných gramatických systémů. Z těch byl převzán princip členění na komponenty, sekvenčně spolupracující na společné výsledné větě dle derivačního módu. Vzniká nám tedy konstrukce menších, úzce specifikovaných jednotek, schopná vzájemně předávat řízení a společně tak analyzovat složité jazyky. Každá z těchto komponent využívá jedné z existujících metod analýzy a její libovolné implementace. Přínosem této práce je navržení a ukázání užití principu gramatických systémů, které nám umožňuje konstruovat kompilátor užitím libovolných metod a zároveň, díky gramatickým systémům, zvýšit jeho celkovou generativní sílu.
|
|
| |
|
|
Syntaktická analýza založená na regulovaných gramatikách
Vaníček, Luboš ; Kučera, Jiří (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá regulovanými gramatikami. Popisuje vlastnosti různých druhů regulovaných gramatik a srovnává je. Ke srovnání využívá příklady postavené na kontextových jazycích. Práce se nejvíce zaměřuje na programované gramatiky. Modifikuje metody syntaktické analýzy a využívá je pro programované gramatiky. Práce aplikuje navrženou metodu syntaktické analýzy na kontextové jazyky a zkoumá jejich sílu.
|
host ::
RSS.