|
|
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.
|
|
|
Formal Systems Based on Automata and Grammars
Čermák, Martin ; Rybička, Jiří (oponent) ; Šaloun, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
The present thesis continues with study of grammar and automata systems. First of all, it deals with regularly controlled CD grammar systems with phrase-structure grammars as components. Into these systems, three new derivation restrictions are placed and their effect on the generative power of these systems are investigated. Thereafter, this thesis defines two automata counterparts of canonical multi-generative nonterminal and rule synchronized grammar systems, generating vectors of strings, and it shows that these investigated systems are equivalent. Furthermore, this thesis generalizes definitions of these systems and establishes fundamental hierarchy of n-languages (sets of n-tuples of strings). In relation with these mentioned systems, automaton-grammar translating systems based upon finite automaton and context-free grammar are introduced and investigated as a mechanism for direct translating. At the end, in this thesis introduced automata systems are used as the core of parse-method based upon n-path-restricted tree-controlled grammars.
|
|
| |
|
|
Vestavěné moduly moderních mobilních zařízení
Pelikán, Ondřej ; Čermák, Martin (oponent) ; Křivka, Zbyněk (vedoucí práce)
Práce pojednává o vývoji mobilní aplikace pro platformu Windows Phone 7 zaměřenou na změnu životního stylu a řešení problémů s váhou, kondicí a fyzickým vzhledem. Aplikace využívá vestavěných modulů moderních mobilních telefonů, jako jsou GPS navigace, kamera s vysokým rozlišením a připojení k internetu. Vývoj je popsán od obecného úvodu do problému, přes popis hlavních rysů platformy Windows Phone 7, konkrétní architekturu aplikace a řešení implementačních problémů, až po popis použitých metod a nástrojů při návrhu a plánování, popis knihoven a rámců třetích stran.
|
|
| |
|
|
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.
|
|
|
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.
|
|
|
Konstrukce sufixových polí a jejich využití v bioinformatice
Hlávka, Ondřej ; Čermák, Martin (oponent) ; Martínek, Tomáš (vedoucí práce)
Práce pojednává o perspektivní datové struktuře, která se nazývá sufixové pole. Tato datová struktura je zde podrobněji popsána a v práci je dále uvedeno rozdělení algoritmů pro konstrukci tohoto pole. Je zde popsáno několik konstrukčních algoritmů a nejpodrobněji se práce zaobírá algoritmem nazývaným qsufsort. Nakonec si ukážeme využití sufixového pole pro vyhledávání přesných (pomocí binárního vyhledávání) a přibližných (metoda QUASAR) vzorů v sekvencích DNA.
|
|
|
Inteligentní webový plánovač práce
Halfar, Martin ; Jirák, Ota (oponent) ; Čermák, Martin (vedoucí práce)
Tato bakalářská práce se zabývá využitím evolučních algoritmů při tvorbě informačního systému, jenž umožňuje inteligentně rozkládat zadanou práci mezi skupinu jeho uživatelů. K řešení problému využívá hlavně genetické algoritmy, jenž jsou inspirovány evolučními procesy, probíhajícími v biologických systémech. Jednotlivá řešení problému označí za jedince v generaci a k procesu křížení připouští pouze nejpřizpůsobenější jedince.
|
|
|
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.
|
host ::
RSS.