|
|
Syntaktická analýza založená na gramatikách řízených stromy
Granát, Štěpán ; Martiško, Jakub (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této práce je navrhnout a implementovat syntaktický analyzátor gramatik, jejichž derivační strom je omezen pomocí kontroly úrovní. Běžné postupy syntaktické analýzy jsou podrobně rozebrány a poté je diskutováno, jak by mohly být rozšířeny o kontrolu derivačního stromu. Nejdůležitější částí práce je návrh průběžné kontroly derivačního stromu souběžně s jeho konstrukcí, což umožňuje úzké propojení těchto dvou procesů. Uvedený přístup přináší výrazné zvýšení síly syntaktického analyzátoru.
|
|
|
Řízená syntaktická analýza
Wolf, Dominik ; Solár, Peter (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá rozšířenými modely bezkontextových gramatik a zkoumá možnosti jejich úpravy a využití pro deterministickou syntaktickou analýzu pomocí metod hluboké syntaktické analýzy struktur, které nejsou bezkontextové. Zavádí upravený bezkontextový model LL programovaných gramatik a hlubokého zásobníkového automatu, umožňující deterministickou syntaktickou analýzu těchto struktur.
|
|
|
Grammar-Based Translation Framework
Vít, Radek ; Kolář, Dušan (oponent) ; Meduna, Alexandr (vedoucí práce)
In this thesis, we examine existing parsing algorithms for context-free grammars. Based on these existing algorithms, we design a new model for representing LR automatons and we define a new parsing algorithm LSCELR based on that model. We modify parsing algorithms to create translation algorithms based on translation grammars. We define attribute translation grammars, an extension of translation grammars for defining the relationships between input and output symbols in translation. We implement a translation grammar-based framework ctf that implements the new parsing algorithm. We define a language for describing attribute translation grammars and implement a translator that creates source representation of these grammars for the implemented framework. A short proof of the generational power of translation grammars is provided.
|
|
|
Pokročilé zotavení z chyb během syntaktické analýzy shora dolů
Obluková, Alena ; Kolář, Dušan (oponent) ; Meduna, Alexandr (vedoucí práce)
Syntaktický analyzátor je jednou z nejdůležitějších částí překladače při často používaném přístupu syntaxí řízený překlad. Při tomto přístupu řídí syntaktický analyzátor sémantické akce a generování abstraktního syntaktického stromu. Jestliže je na vstupu chyba, syntaktický analyzátor nemůže pokračovat a celý překlad musí skončit. Proto je nesmírně důležité, aby syntaktický analyzátor byl schopen se zotavit z chyb, tedy aby i po nalezení chyby byl schopen dále pokračovat. V této bakalářské práci jsou popsány metody zotavení z chyb, podrobně je popsána metoda Kontext zotavení z chyb pomocí pokračování, konkrétně pokračování u LL syntaktického analyzátoru. Přestože tato metoda není příliš známá, není příliš složitá na vysvětlení a na implementaci. Může tedy být snadno použita při výuce pro demonstraci zotavení z chyb při syntaktické analýze shora dolů.
|
|
|
Gramatické systémy a syntaxí řízený překlad založený na nich
Handlíř, Jaroslav ; Martiško, Jakub (oponent) ; Meduna, Alexandr (vedoucí práce)
Práce zkoumá teorii formálních jazyků v oblasti bezkontextových gramatik. Zaměřuje se především na možnosti a modely spolupráce více gramatik při řešení společného problému. V těchto souvislostech představuje gramatické systémy, které byly navrženy jako formální prostředek pro popis distribuovaného a paralelního zpracování. Po uvedení do dané problematiky se práce zaměřuje na praktické uplatnění těchto mechanismů při syntaxí řízeném překladu, a proto je druhá část práce věnována implementaci dynamického syntaktického analyzátoru, který během analýzy aplikuje více gramatik. S ohledem na co největší uživatelskou přívětivost a možné didaktické použití je aplikace implementována pomocí moderních webových technologií HTML5, JavaScript, AngularJS, CSS3, LESS a další.
|
|
|
Syntaktická analýza založená na stavových gramatikách
Svatý, Lukáš ; Vrábel, Lukáš (oponent) ; Solár, Peter (vedoucí práce)
V této bakalářské práci je zaveden syntaxí řízený překlad za pomocí stavových gramatik. Teoretická část práce je zaměřená na zavedení teoretických modelů potřebných pro pochopení syntaktické analýzy za pomocí stavových gramatik. Mezi nejdůležitejší z teoretických formálních modelů v této práci patří hluboký zásobníkový převodník a překladová gramatika vytvořená ze stavové gramatiky, které lze využít k syntaktické analýze. Praktická část práce sa zaměřuje hlavně na syntaktickou analýzu zdola nahoru pomocí stavových gramatik a její implementaci.
|
|
|
Použití strukturální metody pro rozpoznávání objektů
Valsa, Vít ; Heriban, Pavel (oponent) ; Šťastný, Jiří (vedoucí práce)
Tato diplomová práce se zabývá možností využití strukturálních metod pro rozpoznávání objektů v obraze. Nejprve jsou popsány způsoby pro přípravu obrazu před samotným zpracováním. Vlastní jádro celé práce spočívá v kapitole 3, kde je podrobně rozebrán problém tvorby deformačních gramatik pro syntaktickou analýzu a jejich použití. Dále je věnován prostor syntaktickému analyzátoru interpretujícího deformační gramatiku. Závěr práce je zaměřen na testování navržených metod a jejich výsledky.
|
|
|
Gramatické systémy a syntaktická analýza založený na nich
Handlíř, Jaroslav ; Zámečníková, Eva (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se věnuje problematice gramatických systémů. Definuje jak kooperující distribuované CD gramatické systémy, tak i paralelně komunikující PC gramatické systémy ve spojení s bezkontextovými gramatikami. Dále zkoumá jejich principy a generativní síly v různých režimech a vůči různým jazykům. Studuje využití gramatických systémů při syntaktické analýze. Zaměřuje se především na spojení syntaktické analýzy shora dolů s precedenční analýzou zdola nahoru ve spojitosti s PC gramatickými systémy.
|
|
|
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.
|
|
|
Paralelní hluboké zásobníkové automaty
Solár, Peter ; Křivka, Zbyněk (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce představuje paralelní hluboké zásobníkové automaty jako paralelní verzi hlubokých zásobníkových automatů. Jsou založeny na pravidlech, podle kterých může automat provést expanzi současně až n nejvýše položených neterminálních symbolů na vrcholu zásobníku pouze jednou aplikací pravidla. Podmínkou je, aby se na zásobníku vyskytoval dostatečný počet neterminálů. Hlavní výhoda použití paralelních hlubokých zásobníkových automatů spočívá v rychlejším rozhodování.
|
host ::
RSS.