|
|
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.
|
|
|
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ý.
|
|
|
Demonstrace vlastností stromových gramatik
Kunštátský, Martin ; Čermák, Martin (oponent) ; Koutný, Jiří (vedoucí práce)
Stromové gramatiky jsou gramatiky řízené prostřednictvím omezení kladených na jejich derivační stromy. Jedná se o jednoduché a přirozené rozšíření bezkontextových gramatik. Existuje několik typů kontroly derivačního stromu, v této práci jsou zmíněny dva principy: horizontální a vertikální kontrola. Součástí této práce je také aplikace pro demonstraci vlastností stromových gramatik, implementovaná v jazyce Python.
|
|
|
Syntaktická analýza založená na multigenerování
Kleiner, Miloš ; Čermák, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
Multigenerativní gramatický systém je založen na kooperativní činnosti konečného počtu bezkontextových gramatik. Všechny tyto bezkontextové gramatiky paralelně a synchronně derivují jednotlivé větné formy. V průběhu generování dochází v každém přímém derivačním kroku ke kontrole správnosti jednotlivých vygenerovaných větných forem. Tyto kontroly mohou být provedeny různými způsoby. Výsledkem je potom tzv. multiřetězec (vektor řetězců), pomocí kterého je definován generovaný jazyk.
|
|
|
O vymazávacích pravidlech v řízených gramatikách
Zemek, Petr ; Koutný, Jiří (oponent) ; Meduna, Alexandr (vedoucí práce)
V této práci je diskutován vliv vymazávacích pravidel na generativní sílu řízených gramatik, což je velký otevřený problém teorie řízeného přepisování. Tato práce studuje možnost odstranění vymazávacích pravidel z těchto gramatik tak, že shromažďuje aktuální výsledky na toto téma a přináší novou podmínku, nazvanou k-limitované vymazávání, která zaručuje, že jsme bez vlivu na generovaný jazyk schopni odstranit všechna vymazávací pravidla z libovolné bezkontextové gramatiky řízené regulárním jazykem splňující tuto podmínku. Tento výsledek je částečným řešením výše zmíněného problému. Mimoto je prezentován nový algoritmus k odstranění vymazávacích pravidel z bezkontextových gramatik, který nepotřebuje předurčovat tzv. epsilon-neterminály (na rozdíl od standardního algoritmu používaného v učebnicích). V závěru je zhodnocen přínos těchto výsledků pro syntaktickou analýzu.
|
|
|
Syntaxí řízený překlad založený na hlubokých zásobníkových automatech
Solár, Peter ; Lukáš, Roman (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce představuje zavádí syntaxí řízený překlad založený na použití hlubokých zásobníkových automatů. V teoretické části jde především o zavedení potřebných teoretických modelů. Nejdůležitějším modelem představeným v této práci je hluboký zásobníkový převodník, který lze jednoduše využít při nejdůležitější části překladu - syntaktické analýze. V praktické části je ilustrováno využití nově zavedených modelů při implementaci interpretu jednoduchého programovacího jazyka.
|
|
|
Převody mezi CF gramatikami a zásobníkovými automaty
Makovský, Benjamin ; Goldefus, Filip (oponent) ; Masopust, Tomáš (vedoucí práce)
Tato práce navrhuje a řeší implementaci transformací bezkontextových gramatik a převody mezi bezkontextovými gramatikami a zásobníkovými automaty. Obsahuje seznámení s modely, které se používají v moderní teorii formálních jazyků. V práci jsou uvedeny všechny potřebné algoritmy pro transformace a vzájemné převody mezi bezkontextovými gramatikami a zásobníkovými automaty. Je představen objektový návrh reprezentující gramatiku a automat v programu. Je popsáno řešení zadávání definice gramatiky a automatu, řešení vykreslování automatu na obrazovku a vytvoření grafického uživatelského rozhraní aplikace. Výsledný program je zpracován jako Java applet, který je umístěn na veřejných internetových stránkách www.convertcfg.php5.cz.
|
|
|
Zobrazovač grafů a vyhodnocovač matematických výrazů
Skalický, Ivo ; Rychnovský, Lukáš (oponent) ; Lukáš, Roman (vedoucí práce)
Práce se zabývá využitím precedenční syntaktické analýzy pro převod matematického výrazu na dynamický objektový model za účelem vyhodnocování a dalšího zpracovávání výrazů. Cílem bylo vytvořit program, který spojuje funkci vědeckého kalkulátoru a zobrazovače grafů. Program umí na základě textového uživatelského vstupu vyčíslovat matematické výrazy v oboru reálných čísel, počítat lomené výrazy, numericky integrovat a analyticky derivovat výraz podle zadané proměnné. Vedle toho umožňuje také vykreslení průběhu libovolné explicitně, implicitně nebo parametricky zadané křivky do 2D grafu. Grafický výstup je pak možno exportovat s volitelným rozlišením do několika základních rastrových i vektorových formátů. Implementačním jazykem byla z důvodu přenositelnosti zvolena Java.
|
|
|
Lexikální analyzátor pro víceprocesorové počítače
Otáhal, Jiří ; Goldefus, Filip (oponent) ; Čermák, Martin (vedoucí práce)
Cílem práce je vymyslet metodu, která urychlí analýzu zdrojových textů na víceprocesorových počítačích. Pro tento účel aplikace využívá spuštění více procesů pod systémem UNIX. Každý takto vytvořený proces analyzuje předem určený blok ve zdrojovém souboru a poté se ukončí. Výstupem těchto procesů jsou vnitřní struktury, které reprezentují právě daný blok. Ze struktur je již sekvenčně vytvořen mezikód, který se následně interpretuje. Takto provedená paralelní analýza vedla ke zrychlení oproti klasické sekvenční.
|
|
|
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.
|
host ::
RSS.