|
|
Synchronous Formal Systems Based on Grammars and Transducers
Horáček, Petr ; Janoušek, Jan (oponent) ; Yamamura,, Akihito (oponent) ; Meduna, Alexandr (vedoucí práce)
This doctoral thesis studies synchronous formal systems based on grammars and transducers, investigating both theoretical properties and practical application perspectives. It introduces new concepts and definitions building upon the well-known principles of regulated rewriting and synchronization. An alternate approach to synchronization of context-free grammars is proposed, based on linked rules. This principle is extended to regulated grammars such as scattered context grammars and matrix grammars. Moreover, based on a similar principle, a new type of transducer called the rule-restricted transducer is introduced as a system consisting of a finite automaton and context-free grammar. New theoretical results regarding the generative and accepting power are presented. The last part of the thesis studies linguistically-oriented application perspectives, focusing on natural language translation. The main advantages of the new models are discussed and compared, using select case studies from Czech, English, and Japanese to illustrate.
|
|
|
Systémy paralelních gramatik
Skácel, Jiří ; Horáček, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce definuje kooperující distribuované gramatické systémy založené na E0L systémech namísto bezkontextových gramatik. Zkoumá jejich generativní sílu především vzhledem k ET0L systémům. Připomíná hlavní závěry o CD GS, následně definuje upravené systémy a poskytuje důkazy o síle jednotlivých jejich derivačních módů. Většina módů se silou rovná ET0L systémům, s výjimkou ukončovacího módu, pro který je poskytnut důkaz o větší síle. Prezentováno je několik vysvětlených příkladů nových systémů.
|
|
|
Logická hra Futoshiki
Benedikti, Tomáš ; Horáček, Petr (oponent) ; Zámečníková, Eva (vedoucí práce)
Tato práce se zaobírá problematikou logických her a hlavolamů. Hlavním zaměřením je hra Futoshiki, její historie a pravidla. Detailně se popisují algoritmy použité ve vytvořené aplikaci, od jejich návrhu po implementaci. Poslední částí je tvorba uživatelského rozhraní a testovaní úspěšnosti aplikace.
|
|
|
Popis japonských znaků
Holáň, Jakub ; Zámečníková, Eva (oponent) ; Horáček, Petr (vedoucí práce)
Japonský jazyk má z historických důvodů velmi komplikovanou ortografickou stránku skládající se z více různě propojených abeced, kde jednotlivé znaky mohou být jak logogramy (znaky reprezentující celá slova) tak fonogramy (znaky reprezentující jednotlivé zvuky či slabiky jazyka). Při vyhledávání nebo například sepisování slovníku japonštiny se musí použít různé netriviální metody řazení těchto znaků do skupin, například podle počtu tahů štětcem nebo řazení podle radikálů (základních stavebních kamenů znaku). Cílem této práce je najít ideální strukturu databáze popisující japonské znaky a vztahy mezi nimi. Zároveň byla vyvinuta ukázková výuková a pomocná aplikace pro studenty japonštiny. Aplikace je vyvinuta pro internetové použití a je postavena na nejmodernějších webových technologiích, jako jsou Google Web Toolkit a Java servlety.
|
|
|
Generování kódu optimalizovaných matematických operací
Beneš, Vojtěch ; Horáček, Petr (oponent) ; Čermák, Martin (vedoucí práce)
Bakalářská práce se zabývá vytvořením jednoduchého programovacího jazyka pro práci s matematickými operacemi. Hlavním cílem práce je vytvořit kompilátor tohoto jazyka, který pro generování instrukcí cílového kódu využívá instrukční sadu technologie MMX. Generování optimalizovaného kódu probíhá na základě upraveného algoritmu kontextového generování.
|
|
|
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.
|
|
|
Síťová hra typu dáma
Semerád, Lukáš ; Horáček, Petr (oponent) ; Čermák, Martin (vedoucí práce)
Tato bakalářská práce se zabývá deskovou hrou dáma. Shrnuje její historii a hry, ze kterých se vyvinula do podoby, jakou známe dnes. Práce probírá jednotlivé verze pravidel, které se po světě hrají. Dále se zabývá rozborem algoritmů pro hru s počítačem. Výstupem bakalářské práce je program, který umožňuje hru dvou hráčů, síťovou hru a hru proti počítači při různém nastavení výchozích pravidel.
|
|
|
Filtrace varování překladačů
Krajčovičová, Mária ; Horáček, Petr (oponent) ; Zemek, Petr (vedoucí práce)
Cílem bakalářské práce bylo navržení a vytvoření programu, který fi ltruje varování bez zásahu do zdrojového kódu. Práce se zabíva překladači GCC, Clang, Javac a GHC, jejich funkčností a varováními, které tyto překladače produkují. Výsledkem práce je aplikace, která je schopna filtrovat varování pro uvedené překladače.
|
|
|
Hluboké zásobníkové automaty konečného indexu
Poncová, Vendula ; Horáček, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce představuje několik modifikací hlubokých zásobníkových automatů s ohledem na redukci počtu stavů nebo nevstupních symbolů. Je ukázáno, že síla hlubokých zásobníkových automatů konečného indexu není ovlivněna omezením nevstupních symbolů na jeden, tudíž tyto automaty charakterizují nekonečnou hierarchii jazykových rodin vycházejících z programových gramatik konečného indexu. Na základě principu tohoto automatu je stanovena normální forma hlubokých zásobníkových automatů. Nakonec zavádím zobecněný hluboký zásobníkový automat, který expanduje nejvrchnější možný nevstupní symbol na zásobníku. Tento automat spolu s jeho zredukovanými formami je ekvivalentní se stavovými gramatikami.
|
|
|
Modifikované hluboké zásobníkové automaty
Škvařilová, Radka ; Horáček, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce představuje dvě nové modifikace hlubokých zásobníkových automatů - bezestavové hluboké zásobníkové automaty a paralelní bezestavové hluboké zásobníkové automaty.V teoretické části jsou zavedeny formální definice a také je zde zkoumána síla těchto automatů. V pratické části je ukázána na jednoduchém příkladu implementace těchto automatů.
|
host ::
RSS.