|
|
Systémy syntaktických analyzátorů
Kunda, Matej ; Tomko, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
Cieľom tejto práce je vytvorenie formálneho modelu nového gramatického systému, ktorý dokáže kombinovať niekoľko metód syntaktickej analýzy. Inšpiráciou k vytvoreniu gramatického systému boli kooperačne distribuované gramatické systémy, z ktorých sa vytvorila myšlienka komunikačných symbolov. Pomocou komunikačných symbolov dokážu komponenty gramatického systému komunikovať, a tak spolupracovať na tvorbe jednej vety. V práci som navrhol formálny model tohoto systému, aplikoval sa v syntaktickej analýze a následne implementoval. Výsledkom práce je aplikácia, ktorá funguje na princípe formalizovaného gramatického systému a kombinuje dve metódy syntaktickej analýzy.
|
|
|
Nové verze zásobníkových automatů
Genčúrová, Ľubica ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Táto diplomová práca sa zaoberá verziami viac-zásobníkových automatov založených na hlbokých zásobníkoch. Zavádza novú modifikáciu Vstupom riadený hlboký viac-zásobníkový automat, ktorý pozostáva z dvoch a viac hlbokých zásobníkov a aktuálny vstupný symbol určuje, či automat vykonáva operáciu push, operáciu pop alebo operáciu rozšírenia, poprípade obsah zásobníka nezmení. Druhou zavedenou variantou je Zásobníkový automat regulovaný hlbokým zásobníkom. Okrem bežného zásobníka obsahuje táto verzia aj hlboký zásobník, na ktorom je generovaný riadiaci jazyk. Táto práca dokazuje, že vyjadrovacia sila nových modifikácií automatov sa rovná vyjadrovacej sile Turingových strojov. Práca transformuje teoretické modely navrhnutých automatov na reálnu implementáciu a ponúka knižnicu implementujúcu syntaktickú analýzu založenú na týchto modeloch.
|
|
|
Syntaktická analýza pro ET0L systémy
Kožár, Tomáš ; Klobučníková, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
Táto bakalárska práca sa zaoberá zisťovaním príslušnosti reťazcov do jazykov generovaných ET0L systémami. To je dosiahnuté navrhnutím dvoch algoritmov. Prvý je modifikáciou už existujúceho algoritmu Cocke-Younger-Kasami pre syntaktickú analýzu bezkontextových gramatík v Chomského normálovej forme. Pri modifikácii museli byť zohľadnené odlišné vlastnosti ET0L systémov oproti BKG, konkrétne paralelná aplikácia pravidiel a viacero množín pravidiel. Je taktiež využitá odlišná normálová forma, nakoľko CNF je pre ET0L systémy nevyhovujúca. Druhý algoritmus je založený na princípe zhora dole a postupne generuje všetky platné slová. Výsledné algoritmy sú otestované, demonštrované a funkčné. Prínosom tejto práce sú dva nové algoritmy pre syntaktickú analýzu ET0L systémov.
|
|
| |
|
|
Obecný generátor syntaxí řízeného překladu
Marcin, Juraj ; Kučera, Jiří (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce je věnovaná návrhu a vytvoření obecného generátoru, který provádí syntaxí řízený překlad dle požadavků uživatele. Překlad je vykonávaný syntaktickým analyzátorem a to už v době provádění analýz zdrojového programu. Syntaktický analyzátor je založen na syntaktické analýze zdola nahoru. Výsledkem překladu je vytvoření syntaktického stromu. Z něho se dále vytváří instrukce ve tvaru tří-adresního kódu, které reprezentují přeložený program a slouží k vykreslení syntaktického stromu.
|
|
|
Syntaktická analýza založená na řadě metod
Dolíhal, Luděk ; Goldefus, Filip (oponent) ; Meduna, Alexandr (vedoucí práce)
p, li { white-space: pre-wrap; } Hlavním cílem této práce je analýza tvorby komponentního překladače. Komponentním překladačem se zde myslí systém, který je složen z~několika vzájemně spolupracujících částí. Můj překladač je zvláštní v tom, že jeho syntaktická část sestává ze svou vzájemně spolupracujících částí. V~práci bych se chtěl zaměřit především na konstrukci jednotlivých částí překladače, dále na jejich vzájemnou komunikaci a spolupráci. Bude také nastíněno teoretické pozadí takovéhoto řešení a to pomocí gramatických systémů. Taktéž se pokusím obhájit, zda je vůbec potřebné a vhodné takový typ parseru vytvářet. V~neposlední řadě pak bude analyzován jazyk, jehož syntaktický analyzátor bude implementován zvolenou metodou.
|
|
|
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.
|
|
|
Hluboký syntaxí řízený překlad
Senko, Jozef ; Kučera, Jiří (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce volně navazuje na moji bakalářskou práci, která byla věnována syntaktické analýze s použítím hlubokých zásobníkových. V teoretické části je této práce je definováno vše potřebné a základní pro tuto problematiku, jako například hlubokému syntaxí řízenému překladu, zásobníkovým automatům, hlubokým zásobníkovým automatům, konečným převodníkům a hlubokým zásobníkovým převodníkům. Ve druhé části se věnuji programu, který je součástí této práce, kdy se jedná o program, který je určený pro předmět IFJ. V této části je rozebrán návrh programu, struktura a jednotlivé části programu jak z teoretické, tak i z praktické stránky.
|
|
|
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.
|
host ::
RSS.