|
|
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ů.
|
|
|
Syntaktická analýza založená na automatech s hlubokými zásobníky
Rusek, David ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá problematikou návrhu a implementace syntaktické analýzy založené na kontextových jazycích, obsahujících konstrukce, které není možné analyzovat pomocí standardních syntaktických analyzátorů založených na bezkontextových gramatikách. Konkrétně se tato práce zabývá možností rozšíření LL-analýzy o kontextovou podporu a to nahrazením klasických zásobníkových automatů pomocí hlubokých zásobníkových automatů (HZA), tak jak je představil a popsal prof. Alexander Meduna.
|
|
|
Syntaktická analýza založená na multigenerování
Kyjovská, Linda ; Přikryl, Zdeněk (oponent) ; Lukáš, Roman (vedoucí práce)
Práce se zabývá problematikou syntaktické analýzy založené na multigenerování. Cílem je vytvořit program, který zadaný vstupní řetězec transformuje na n- 1 výstupních řetězců. Vstupem programu je uživatelem vytvořený textový soubor obsahující pravidla n gramatik. Právě jedna gramatika je označena za vstupní a zbývajících n- 1gramatik se stává výstupními gramatikami. Na základě vstupní gramatiky se provede syntaktická analýza uživatelem zadaného řetězce, která nám určí použitá gramatická pravidla. Paralelně s touto analýzou vytváříme výstupní řetězce za použití zbývajících n- 1 gramatik. Implementace bude provedena pomocí technologií C++ a Bison.
|
|
|
Kombinovaná syntaktická analýza založená na gramatických systémech
Caha, Petr ; Solár, Peter (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá kombinovanou syntaktickou analýzou založenou na gramatických systémech. Zavádí klasické modifikované metody gramatických systémů. Nejprve budou teoreticky popsané a v další části implementované v syntaktickém analyzátoru. Základem analyzátoru je CD gramatický systém. Implementace využívá rekursivní sestup a precedenční analýzu. Analyzátor je universální, použitelný pro jakékoli gramatické systémy založené na bezkontextových a některých ne bezkontextových.
|
|
|
Regulovaný syntaxí řízený překlad
Dvořák, Tomáš ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá formálním pohledem na regulovaný syntaxí řízený překlad. První část obsahuje formální základy teorie jazyků, jejich klasifikaci a analýzu. Jsou uvedeny příklady gramatik generující jazyky, které nejsou bezkontextové, především maticové gramatiky, gramatiky s nahodilým kontextem a programované gramatika. Jsou uvedeny konečné, zásobníkové, hluboké a regulované automaty. Formálně vymezuje převodníky a jejich roli v rámci formálního a syntaxí řízeného překladu. Zavádí regulované převodníky založené na regulovaných automatech. Jádrem práce je návrh algoritmů regulované syntaktické analýzy jako rozšíření tradičních algoritmů prediktivní syntaktické analýzy. Tyto algoritmy jsou navrženy pro všechny uvedené speciální typy gramatik. Závěr práce je věnován návrhu jazyka jako prostředku pro popis těchto gramatik a překladače těchto gramatik na kód syntaktického analyzátoru a jejich grafického analyzátoru.
|
|
|
Syntaktická analýza založená na gramatických systémech
Sedmík, Adam ; Klobučníková, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
Práce se zabývá problematikou gramatických systémů a syntaktické analýzy. V práci jsou představeny kooperačně distribuované a paralelně komunikující gramatické systémy. Na základě znalostí o gramatických systémech je navrhnut nový typ gramatických systémů se zaměřením na modularizaci syntaktické analýzy. Jsou předvedeny metody syntaktické analýzy, metoda rekurzivního sestupu a precedenční syntaktická analýza. Navržené gramatické systémy jsou předvedeny na syntaktické analýze vlastního programovacího jazyka.
|
|
| |
|
|
Konverze ASP do ASP.NET
Vilímek, Jan ; Ryšavý, Ondřej (oponent) ; Kašpárek, Tomáš (vedoucí práce)
Cílem práce je implementovat aplikaci pro konverzi ASP stránek napsaných v jazyce VBScript na ASPX stránky a jazyk C#. Aplikace je vyvíjena na platformě .NET. Konverze stránek bude probíhat automaticky, cílový kód by se měl obejít bez dalšího zásahu programátora. První část práce uvádí do problematiky, poskytuje přehled současných řešení. Další část je analýza problému a návrh řešení. Zejména se pak práce zabývá konverzí VBScript gramatiky, konkrétními problémy a jejich řešením.
|
|
|
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ší.
|
|
|
Skákající jazykové modely
Ošmera, Lubomír ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této diplomové práce je návrh a výzkum nových verzí skákajících automatů a gramatik. Nové verze jsou zaměřeny primárně na aplikace v bioinformatice - DNA computingu. Práce zkoumá jejich vyjadřovací sílu a další vlastnosti navržených modelů a porovnává je s již existujícími modely teoretické informatiky. Následně demonstruje praktické aplikace, konkrétně aplikace pro detekci aminokyselin a proteinů uvnitř DNA sekvence a provádí porovnání s již existujícími nástroji v DNA computingu, jako jsou například Markovy pravděpodobnostní modely.
|
host ::
RSS.