KLEMBARA, R. Alternativní verze hlubokých zásobníkových automatů a jejich aplikace [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.
Nadstandardní hodnocení zdůvodňuje vedoucí takto: Student projevil velkou aktivitu při řešení práce. Na studentovi je zajímavá enormní snaha porozumět teoretickým základům celého projektu. Student získával poznatky ze studijních materiálů, které se přednáší až na doktorandské úrovni na FIT VUT. Mnohdy si zajiťoval literaturu zcela samostatně. Dosažené výsledky spolu s publikacemi vedou vedoucího k hodnocení A. Doporučuji doktorandské studium.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Informace k zadání | Práce byla vypracována dle výše uvedeného tématu a postupu. Byla náročná, neboť vyžadovala intenzivní studium cizojačné literatury a následný rozvoj takto získaných znalostí. Práce překročila zadání. | ||
| Práce s literaturou | Student získával a využívala studijní materiály k řešení DP velmi systematicky. | ||
| Aktivita během řešení, konzultace, komunikace | Setkávali jsme se každý týden v pondělí. Student byl během řešení aktivní, dodržoval dohodnuté termíny, své řešení průběžně konzultoval a byl na konzultace připraven. Elektronicky jsme komunikovali několikrát týdně. | ||
| Aktivita při dokončování | Práce byla dokončena s předstihem a její definitivní obsah byl konzultován. | ||
| Publikační činnost, ocenění | Příspěvek na Excel. Vedoucí se studentem plánuje vypracovat článek do časopisu přes prázdniny. |
Práce představuje zajímavé alternativní verze hlubokých zásobníkových automatů, včetně obecně správných myšlenek pro vedení důkazů o jejich vyjadřovací síle. Kvalitu práce však sráží nedůslednost při zápisu formálních definic a tvorbě formálních důkazů. Celkově proto navrhuji hodnotit práci stupněm C (75 bodů).
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Náročnost zadání | Obtížnost zadání spočívala v nutnosti pochopení pokročilých modelů formálních jazyků, které jsou běžně probírány až v rámci doktorského studia, a jejich využití při návrhu nových vlastních verzí hlubokých zásobníkových automatů. | ||
| Rozsah splnění požadavků zadání | Všechny body zadání jsou v předložené práci splněny. | ||
| Rozsah technické zprávy | Rozsah technické zprávy je odpovídající a přiměřený. | ||
| Prezentační úroveň technické zprávy | 70 | Technická zpráva je dobře členěna, doprovodný text je psán čtivě a srozumitelně. K některým částem obsahu mám však výhrady: Formální matematické definice a důkazy nejsou vždy prezentovány důsledně, což ztěžuje jejich pochopení a ověření. Příkladem může být Definice 5 pro hluboký zásobníkový automat, která na jednu stranu zavádí pravidla obsahující hloubku přepisu, ale v definici přechodu konfigurací pak není hloubka přepisu nijak využita. Pro správné pochopení je tak potřeba dohledávat originální definici modelu. Práce někdy používá nestandardní názvosloví, jako jsou např. "vstupní symboly" a "nevstupní symboly" při popisu gramatik. Student se však těchto termínů alespoň konzistentně drží. | |
| Formální úprava technické zprávy | 85 | Typograficky je práce na dobré úrovni. Gramatickou stránku slovenštiny nejsem schopen detailně posoudit, ale žádných závažných nedostatků jsem si nevšiml. | |
| Práce s literaturou | 85 | Celkem je uvedeno 15 studijních pramenů a všechny jsou relevantní k tématu diplomové práce. Vlastní výsledky studenta jsou v práci řádně odlišeny. Literatura je citována dle příslušných norem. | |
| Realizační výstup | 70 | Při hodnocení realizačního výstupu uvažuji tři části. První částí je zavedení nových alternativních verzí hlubokých zásobníkových automatů. Představené modifikace jsou zajímavé a důvody pro jejich zavedení jsou v práci jasně popsaný. Modely jsou navrženy logicky správně a zdají se být plně funkční. Práce se také snaží nastínit jejich možné využití v oblasti bioinformatiky. Druhou částí je studium vyjadřovací síly zavedených modelů. Obecně se zdají být myšlenky pro vedení důkazů správné, ale kvůli nedůslednosti v detailech nevedou ke správným výsledkům. Narazil jsem hlavně na následující problémy: Práce se snaží ukázat, že nově zavedené modely mají stejnou sílu jako původní hluboké zásobníkové automaty. Důkazy jsou vedeny přes algoritmy, které modely vzájemně konvertují mezi sebou. Práce ale zapomíná na to, že původní model (na rozdíl od nových modelů) neumožňuje v expanzních pravidlech zkracovat obsah zásobníku. Jednoduchý převod pravidel, tak jak je prezentován, tedy není možný. Algoritmy převádějící paralelní modely na původní model fungují tím způsobem, že paralelní pravidla rozbijí na několik jednoduchých pravidel. Ve výsledném automatu už ale není zaručeno, že dojde k použití všech jednoduchých pravidel a že budou provedena ve správném pořadí. Třetí částí je software provádějící převod mezi modely dle prezentovaných algoritmů. Demonstrační aplikace je funkční a dobře napsaná. Souhrnně dávám 70 bodů. | |
| Využitelnost výsledků | Práce přináší nové poznatky v oblasti teoretické informatiky, které by mohly být zajímavé i ve formě vědeckého článku. Pro dosažení publikovatelných výsledků by ale ještě bylo potřeba zapracovat na důslednosti při zápisu formálních definic a hlavně na zohlednění kritických detailů při tvorbě důkazů. Prezentované využití v bioinformatice představuje jen hrubou myšlenku, která by pro praktické využití musela být dále rozvinuta. |
eVSKP id 141059