|
Cestami řízené gramatiky
Adamec, Ondřej ; Soukup, Ondřej (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato diplomová práce se zabývá cestami řízenými gramatikami, gramatikami, které kladou omezení na cesty v derivačním stromě bezkontextové gramatiky. Cílem této diplomové práce je tvorba algoritmu pro převod mezi cestami řízenými gramatikami a stavovými gramatikami, což je jiný typ řízené gramatiky. Dalším cílem je na základě tohoto převodního algoritmu studovat vyjadřovací sílu cestami řízených gramatik. Převodní algoritmus je naimplementován v C++ a testován na sadě cestami řízených gramatik. Složitost algoritmu, jak časová, tak prostorová, je diskutována. Také nástroj pro syntaktickou analýzu cestami řízených gramatik je naimplementován. Složitost této analýzy je také diskutována.
|
|
Vytvoření modelu procesoru M68000
Adamec, Ondřej ; Přikryl, Zdeněk (oponent) ; Masařík, Karel (vedoucí práce)
Cílem této bakalářské práce je vytvoření modelu procesoru Motorola 68000 za použití jazyka pro popis architektur CodAL a integrovaného vývojového prostředí Codasip Studio. V práci jsou použité nástroje představeny. Procesor M68000 se řadí mezi architektury s komplexní instrukční sadou. Architektura procesoru je detailně popsána. Zaměřuji se zejména na programátorský model, formát instrukcí a popis instrukční sady. Struktura vytvořeného modelu je do detailu popsána. Důležitou součástí této práce je také testování výsledného modelu. Je nutné se ujistit, že model je plně funkční a zcela odpovídá reálnému procesoru. K tomu byla použita sada testovacích programů. Pro účely testování byla zprovozněna sada nástrojů pro překlad zdrojových textů z jazyka C do jazyka symbolických adres. Výsledkem je funkční model, který byl otestován aby byla zaručena jehosprávnost.
|
|
Vytvoření modelu procesoru M68000
Adamec, Ondřej ; Přikryl, Zdeněk (oponent) ; Masařík, Karel (vedoucí práce)
Cílem této bakalářské práce je vytvoření modelu procesoru Motorola 68000 za použití jazyka pro popis architektur CodAL a integrovaného vývojového prostředí Codasip Studio. V práci jsou použité nástroje představeny. Procesor M68000 se řadí mezi architektury s komplexní instrukční sadou. Architektura procesoru je detailně popsána. Zaměřuji se zejména na programátorský model, formát instrukcí a popis instrukční sady. Struktura vytvořeného modelu je do detailu popsána. Důležitou součástí této práce je také testování výsledného modelu. Je nutné se ujistit, že model je plně funkční a zcela odpovídá reálnému procesoru. K tomu byla použita sada testovacích programů. Pro účely testování byla zprovozněna sada nástrojů pro překlad zdrojových textů z jazyka C do jazyka symbolických adres. Výsledkem je funkční model, který byl otestován aby byla zaručena jehosprávnost.
|
|
Cestami řízené gramatiky
Adamec, Ondřej ; Soukup, Ondřej (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato diplomová práce se zabývá cestami řízenými gramatikami, gramatikami, které kladou omezení na cesty v derivačním stromě bezkontextové gramatiky. Cílem této diplomové práce je tvorba algoritmu pro převod mezi cestami řízenými gramatikami a stavovými gramatikami, což je jiný typ řízené gramatiky. Dalším cílem je na základě tohoto převodního algoritmu studovat vyjadřovací sílu cestami řízených gramatik. Převodní algoritmus je naimplementován v C++ a testován na sadě cestami řízených gramatik. Složitost algoritmu, jak časová, tak prostorová, je diskutována. Také nástroj pro syntaktickou analýzu cestami řízených gramatik je naimplementován. Složitost této analýzy je také diskutována.
|