|
Paralelní multigenerativní syntaktická analýza založená na Cocke-Younger-Kasamiho metodě
Sopuch, Zbyněk ; Burgetová, Ivana (oponent) ; Meduna, Alexandr (vedoucí práce)
S analýzou řetězců, hledáním vzorů a kontrolou syntaktické správnosti se setkáváme každý den, ať jde o programovací jazyky, komunikační protokoly či psaný text. Oblastí, kterých se tento problém dotýká, neustále přibývá, proto je třeba hledat i nové postupy, které by byly vhodné, a jejich aplikace dostatečně efektivní. V této diplomové práci se zabýváme tématem paralelních E0L-systémů a multigenerativních gramatických systémů, a to především v oblasti jejich spojení pro analýzu či generování jazyka. Aplikujeme tyto postupy na CYK metodu a ukážeme si, jaké vlastnosti vyplývají z tohoto spojení a jak by se daly využít v praxi.
|
| |
|
Syntaktická analýza založená na systémech hlubokých zásobníkových automatů
Šoustar, Jakub ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá hlubokými zásobníkovými automaty a zavádí jejich modifikaci nazvanou řízený hluboký zásobníkový automat. Dále jsou v této práci představeny distribuované systémy hlubokých zásobníkových automatů a paralelně komunikující systémy řízených hlubokých zásobníkových automatů. Jsou zkoumány vlastnosti a vyjadřovací síla těchto automatových systémů a je zavedeno několik variant těchto systémů. Pro jednu z variant paralelně komunikujících systémů je dokázáno, že disponuje stejnou vyjadřovací silou, jakou mají Turingovy stroje. Na základě těchto automatových systémů je zavedena metoda syntaktické analýzy.
|
| |
|
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.
|
|
Strojové porozumění textovým zprávám používaných v letectví
Lieskovský, Pavol ; Rajnoha, Martin (oponent) ; Povoda, Lukáš (vedoucí práce)
Táto práca sa zaoberá problematikou textovej správy NOTAM, ktorá sa používa v letectve. Dokumentuje rozdiel medzi textovou a digitálnou podobou správy NOTAM, špeciálne typy správ NOTAM a položky z ktorých sa správa NOTAM skladá. Popisuje syntax a funkcie programu, ktorý bol v rámci práce vytvorený. Program je plne schopný správneho spracovania a naparsovania správy NOTAM. Program dokáže do mapy vykresliť oblasti jednotlivých správ NOTAM a tiež poskytuje funkciu detekcie kolízie týchto oblastí s letovým plánom.
|
| |
|
Nové verze automatových a gramatických systémů
Lichota, Lukáš ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Táto práca sa zaoberá modifikáciou klasických gramatických systémov na báze bezkontextových gramatík a zavádza nové, modifikované lineárne gramatické systémy na báze gramatík lineárnych. Rovnako sa zaoberá podobnou modifikáciou v automatových systémoch, kde jednotlivé automaty odpovedajú svojou generatívnou silou lineárnym gramatikám, čo spĺňajú jednoobrátkové zásobníkové automaty. Práca ponúka taktiež pohľad na programovú realizáciu teoretických modelov navrhnutých v teoretickej časti a predstavuje dva programy pre syntaktickú analýzu založenú na nich.
|
|
Syntaktická analýza založená na modifikovaných zásobníkových automatech
Pluháček, David ; Lukáš, Roman (oponent) ; Meduna, Alexandr (vedoucí práce)
Práce prezentuje nové modely formálních jazyk, m-omezenou stavovou gramatiku a hluboký zásobníkový automat. Uvádí jejich základní definice, vzájemnou ekvivalenci, a charakteristiku jazyků, jež popisují. Následně je představena metoda syntaktické analýzy, založená na těchto nástrojích. Ta vychází z obdobné metody používané u bezkontextových jazyk, tzv. analýzy řízené LL tabulkou. V závěru práce je popsán postup implementace syntaktického analyzátoru, založeného na této metodě.
|
|
Syntaktická analýza založená na stavových gramatikách
Novotný, Miroslav ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá syntaktickou analýzou založenou na stavových gramatikách. Cílem je vytvořit program schopný načíst gramatiku ze vstupního souboru. Na základě této gramatiky vytvořit LL tabulku a následně i provést syntaktickou analýzu zadaného vstupu. Na těchto základech pak studovat vlastnosti metod syntaktické analýzy, založené na těchto gramatikách. Testování probíhá i na gramatických strukturách, které nejsou bezkontextové.
|