|
|
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.
|
|
|
Karetní hra Taroky pro mobilní zařízení
Sykala, Vít ; Čermák, Martin (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato diplomová práce se zabývá vývojem hry Taroky pro mobilní zařízení. Hra je vyvíjena v programovacím jazyce Java - J2ME. Aplikace umožňuje hrát Taroky jednomu až čtyřem lidem. Inteligence hráčů reprezentovaných mobilním zařízením je implementovaná jako expertní systém. Pravidla expertního systému je možno změnit bez nutnosti rekompilace celé aplikace. Navržený a implementovaný expertní systém využívá jako bázi znalostí odlehčenou verzi jazyka Prolog. Pravidla tohoto systému jsou ve tvaru přesně definovaném touto prací.
|
|
|
Konverze prezentací mezi platformou LaTeX a Microsoft Power Point
Černý, Lukáš ; Čermák, Martin (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato práce se zabývá teoretickým a praktickým základem pro vytvoření převaděče mezi platformou LaTeX a Microsoft PowerPoint. Postupně rozebírá použití LaTeXu a třídy Beamer pro prezentace, programovou tvorbu PowerPoint dokumentů pomocí PowerPoint Primary Interop Assemblies a PresentationML. Nastiňuje použití generátorů lexikálního a~syntaktického analyzátoru GPLEX a GPPG. Věnuje se vlastnostem dnešních nástrojů pro převod dokumentů. A nakonec se postupně věnuje jednotlivým úskalím návrhu, implementace a~testování aplikace pro převod dokumentů mezi platformou LaTeX a Microsoft PowerPoint.
|
|
|
Syntaktická analýza řízených gramatik
Šrajer, Roman ; Čermák, Martin (oponent) ; Křivka, Zbyněk (vedoucí práce)
Diplomová práce se zabývá řízenými gramatikami, jejich principem a vyjadřovacími schopnostmi vzhledem k Chomského klasi kaci jazyků. Více do detailů je probrána programovaná gramatika z hlediska různých typů nejlevějších derivací. V práci je prezentována varianta deterministické syntaktické analýzy programovaných gramatik, která pracuje podobně jako analýza LL(k) gramatik. Dále jsou představeny algoritmy pro převod maticových gramatik na programované bez změny vyjadřovací síly. Rovněž je prezentován mechanismus syntaktické analýzy regulárně řízených gramatik za pomocí programované gramatiky. Nakonec jsou prezentovány kooperující distribuované gramatiky s levě povolujícími gramatikami jako komponenty. Jejich syntaktická analýza je zajištěna buď deterministicky pomocí prediktivní tabulky nebo prohledáváním stavového prostoru.
|
|
|
Porovnání implementace GUI v různých knihovnách v OS Linux
Šelepa, Jan ; Beran, Vítězslav (oponent) ; Čermák, Martin (vedoucí práce)
Tato práce prezentuje základní vlastnosti a principy grafických uživatelských rozhraní. Dále ukazuje způsob, jakým se s gra fickým uživatelským rozhraním pracuje na operačním systému GNU/Linux a popisuje některé knihovny používané při tvorbě aplikací s grafi ckým rozhraním. V další části práce je uveden návrh uživatelského rozhraní pro aplikaci postavenou na funkčním antivirovém démonovi. Poslední část práce poukazuje na rozdíly při implementaci navržené aplikace.
|
|
|
Paralelní syntaktická analýza
Otáhal, Jiří ; Koutný, Jiří (oponent) ; Čermák, Martin (vedoucí práce)
Diplomová práce se zabývá moderními metodami pro popis jazyků. Představuje několik řízených gramatik, přičemž podrobněji se věnuje stromem řízené gramatice. Je založena na relativně nové technice syntaktické analýzy, která využívá právě stromem řízené gramatiky. V textu je blíže popsán postup této analýzy a následně návrh, jak jí zpracovat paralelně. Daný návrh se nám podařilo implementovat a syntaktickou analýzu tím posílit z hlediska rychlosti, čímž jsme dosáhli hlavního cíle této práce.
|
|
|
Systémy formálních modelů a jejich aplikace
Čermák, Martin ; Lukáš, Roman (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce pojednává o automatových systémech jako o novém způsobu zpracování formálních jazyků. V textu jsou zmíněny čtyři modely. První z nich pracuje v sekvenčním módu. V jednom okamžiku počítá jediná komponenta systému. Druhý z nich pracuje v částečně paralelním módu. Zde během jednoho výpočetního kroku aktivně pracují buďto všechny, nebo pouze jediná komponenta systému. V posledních dvou modelech každý automat zpracovává svůj vlastní vstupní řetězec, přičemž jeho výpočet je řízen stavy, resp. přechody ostatních komponent. Stavy, resp. pravidla přechodů komponent mohou zapříčinit i tzv. blokaci, nebo odblokování dílčích automatů.
|
|
|
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í.
|
|
|
Grafická simulace činnosti konečných automatů
Šrajer, Roman ; Goldefus, Filip (oponent) ; Čermák, Martin (vedoucí práce)
Tato bakalářská práce se zabývá teorií převodu regulárního výrazu na konečný automat a zpět. Cílem praktické části je vytvořit webovou aplikaci, která tyto převody zajistí a odsimuluje automat pro vstupní řetězec. Pro převod konečného automatu na regulární výraz je použita algebraická metoda, která spočívá ve vytvoření soustavy rovnic a jejím následném vyřešení. Pro implementaci jsem zvolil jazyk Java a technologie Java Applet a Java Web Start, které umožňují přístup k aplikaci přes webové stránky. Nezbytnou součástí aplikace je možnost pracovat se třemi způsoby reprezentace konečného automatu, možnost ukládát automaty do XML a možnost zcela intuitivně vytvářet vlastní automaty.
|
|
| |
host ::
RSS.