|
|
Hluboké zásobníkové automaty konečného indexu
Poncová, Vendula ; Horáček, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce představuje několik modifikací hlubokých zásobníkových automatů s ohledem na redukci počtu stavů nebo nevstupních symbolů. Je ukázáno, že síla hlubokých zásobníkových automatů konečného indexu není ovlivněna omezením nevstupních symbolů na jeden, tudíž tyto automaty charakterizují nekonečnou hierarchii jazykových rodin vycházejících z programových gramatik konečného indexu. Na základě principu tohoto automatu je stanovena normální forma hlubokých zásobníkových automatů. Nakonec zavádím zobecněný hluboký zásobníkový automat, který expanduje nejvrchnější možný nevstupní symbol na zásobníku. Tento automat spolu s jeho zredukovanými formami je ekvivalentní se stavovými gramatikami.
|
|
|
Částečně paralelní hluboké zásobníkové automaty
Ševčík, Miroslav ; Zámečníková, Eva (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce zavádí částečně paralelní hluboké zásobníkové automaty jako rozšíření sekvenčních hlubokých zásobníkových automatů. Toto rozšíření spočívá v tom, že oproti sekvenční verzi je automat schopen provést expanzi n nejvýše položených nonterminálních symbolů na zásobníků současně. Tyto automaty jsou schopné rozpoznat třídu jazyků generovanou n-omezenými stavovými gramatikami stejně jako sekvenční hluboké zásobníkové automaty. Výhoda částečně paralelních hlubokých zásobníkových automatů je ale ve vyšší rychlosti. Dále je v této práci popsána implementace aplikace, která simuluje činnost těchto automatů.
|
|
|
Syntaktická analýza založená na stavových gramatikách
Paulík, Miroslav ; Solár, Peter (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce popisuje vlastnosti stavových gramatik a n-limitovaných stavových gramatik s důrazem na nedeterminismus v analýze takových gramatik. Zejména se zaměřuje na problémy způsobené povolením vymazávacích pravidel a možných výskytů rekurze. Na základě analýzy těchto problémů nabízí možná řešení, která jsou posléze uplatněna při návrhu prakticky zaměřené metody paralelní syntaktické analýzy. Tato metoda je výrazně rychlejší, než sekvenční analýza s návratem.
|
|
|
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ě.
|
|
|
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.
|
|
|
Kanonické derivace programovaných gramatik
Zemek, Petr ; Masopust, Tomáš (oponent) ; Meduna, Alexandr (vedoucí práce)
V této práci jsou studovány kanonické derivace (se zaměřením na nejlevější derivace) v programovaných gramatikách a rozsah levého omezení. Je ukázáno, že zavedením n-limitovaných derivací v programovaných gramatikách tak, jako byly zavedeny pro stavové gramatiky, dostaneme nekonečnou hierarchii jazykových tříd vyplývající z n-limitovaných programovaných gramatik, takže rozsah levého omezení ovlivňuje generativní sílu n-limitovaných programovaných gramatik. Tento výsledek má význam pro syntaktickou analýzu založenou na programovaných gramatikách.
|
|
|
Částečně paralelní hluboké zásobníkové převodníky a jejich aplikace
Putala, Marek ; Dolejška, Daniel (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této práce bylo seznámit se s hlubokými zásobníkovými automaty a na základě získaných znalostí dále navrhnout, formálně definovat a implementovat částečně paralelní hluboký zásobníkový převodník. Jedná se o rozšíření hlubokých zásobníkových převodníků, které je na zásobníku schopné v jednom kroku přistupovat k non-terminálním symbolům současně. S vhodně zvolenou konfigurací ve formě pravidel mohou zpracovat vstupní řetězec s menším množstvím přechodů, a tím pádem mají oproti hlubokým zásobníkovým převodníkům vyšší rychlost.
|
|
|
Kanonické derivace programovaných gramatik
Zemek, Petr ; Masopust, Tomáš (oponent) ; Meduna, Alexandr (vedoucí práce)
V této práci jsou studovány kanonické derivace (se zaměřením na nejlevější derivace) v programovaných gramatikách a rozsah levého omezení. Je ukázáno, že zavedením n-limitovaných derivací v programovaných gramatikách tak, jako byly zavedeny pro stavové gramatiky, dostaneme nekonečnou hierarchii jazykových tříd vyplývající z n-limitovaných programovaných gramatik, takže rozsah levého omezení ovlivňuje generativní sílu n-limitovaných programovaných gramatik. Tento výsledek má význam pro syntaktickou analýzu založenou na programovaných gramatikách.
|
|
|
Částečně paralelní hluboké zásobníkové automaty
Ševčík, Miroslav ; Zámečníková, Eva (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce zavádí částečně paralelní hluboké zásobníkové automaty jako rozšíření sekvenčních hlubokých zásobníkových automatů. Toto rozšíření spočívá v tom, že oproti sekvenční verzi je automat schopen provést expanzi n nejvýše položených nonterminálních symbolů na zásobníků současně. Tyto automaty jsou schopné rozpoznat třídu jazyků generovanou n-omezenými stavovými gramatikami stejně jako sekvenční hluboké zásobníkové automaty. Výhoda částečně paralelních hlubokých zásobníkových automatů je ale ve vyšší rychlosti. Dále je v této práci popsána implementace aplikace, která simuluje činnost těchto automatů.
|
|
|
Syntaktická analýza založená na stavových gramatikách
Paulík, Miroslav ; Solár, Peter (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce popisuje vlastnosti stavových gramatik a n-limitovaných stavových gramatik s důrazem na nedeterminismus v analýze takových gramatik. Zejména se zaměřuje na problémy způsobené povolením vymazávacích pravidel a možných výskytů rekurze. Na základě analýzy těchto problémů nabízí možná řešení, která jsou posléze uplatněna při návrhu prakticky zaměřené metody paralelní syntaktické analýzy. Tato metoda je výrazně rychlejší, než sekvenční analýza s návratem.
|
host ::
RSS.