HOLAS, D. Transformace frontových gramatik [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.

Posudky

Posudek vedoucího

Křivka, Zbyněk

I přes značnou samostatnost při práci je výsledek nad očekávání zajímavý i z odborného hlediska.

Dílčí hodnocení
Kritérium Známka Body Slovní hodnocení
Informace k zadání Zadání považuji za náročné, protože si klade za ambici vylepšení výsledku několikaletého výzkumu nedávno publikovaném ve vědeckém časopise v oblasti formálních jazyků, konkrétněji frontových gramatik a gramatik s rozptýleným kontextem.
Práce s literaturou Student měl zadáním jasně vymezenu základní literaturu. Vzhledem k charakteru práce, kdy se pracovalo především se zatím nepublikovanými nápady, tak lze odůvodnit menší počet zdrojů.
Aktivita během řešení, konzultace, komunikace Student měl v aktivitě výkyvy způsobené různým rozložením zátěže během celého akademického roku. Nicméně v týdnech s nižším studijním vytížením se vždy s chutí vrhal do probádávání tématu diplomové práce. Na konzultace přicházel vždy velmi dobře připraven a často s vlastními nápady na řešení diskutovaných problémů.
Aktivita při dokončování Část práce (především text) byl bohužel dokončován na poslední chvíli, což pravděpodobně práci uškodilo. Z hlediska výsledků byl však cíl dosažen. Došlo k opravě transformace do normální formy frontové gramatiky, v níž student nalezl chybu již v rámci dřívějšího studia. Dále došlo k experimentálnímu ověření myšlenek na vylepšení dříve publikovaného algoritmu pro převod frontových gramatik na gramatiky s rozptýleným kontextem. V jedné variantě našeho algoritmu je zdokumentován studentem nalezený nový nedostatek, který bude třeba vyřešit v budoucnu.
Publikační činnost, ocenění Z časových důvodů bohužel nedošlo k publikování výsledků, ale předpokládám, že v rámci dalšího výzkumu dojde k využití výsledků práce v dalších publikacích na dané téma.
Navrhovaná známka
B
Body
85

Posudek oponenta

Regéciová, Dominika

Zadání této diplomové práce považuji za náročnější a student se s tématem frontových gramatik vypořádal dobře. Výhodou pro něj zajisté bylo, že navázal na svoji bakalářskou práci. Podařilo se mu navrhnout opravu algoritmu, u kterého našel chybu již právě v rámci bakalářského studia a ověřit správnost této opravy. V rámci transformace frontových gramatik na gramatiky s rozptýleným kontextem a s jedním kontextovým pravidlem pak student dokázal korektnost, ale i omezení dané transformace, tedy že není obecně funkční pro všechny frontové gramatiky. Student rovněž vytvořil aplikaci pro pomocné analýzy, tento nástroj je však spíše pro interní použití v rámci práce než pro další využití. Technická zpráva je poměrně krátká, a zvláště některé pasáže působí dojmem, že byly sepisovány na poslední chvíli. Aplikace má potenciál, ale díky jejímu rozhraní zřejmě nebude použitelná mimo tuto práci. Celkově proto navrhuji hodnotit práci stupněm C (78 bodů).

Dílčí hodnocení
Kritérium Známka Body Slovní hodnocení
Náročnost zadání Zadání považuji za obtížnější. Student si musel nastudovat netriviální teorii frontových gramatik a porozumět transformačním algoritmům, aby dokázal opravit algoritmus převodu frontové gramatiky do 1. normální formy a navrhnout nové transformace frontových gramatik na gramatiky s rozptýleným kontextem s omezenou popisnou složitostí. Student rovněž vytvořil aplikaci sloužící k analýze a testování jednotlivých transformací v jazyce Swift.
Rozsah splnění požadavků zadání Zadání bylo splněno ve všech bodech.
Rozsah technické zprávy Práce je kratšího rozsahu a podle mé kontroly má zhruba 54 normostran, tedy na hraně minimálního rozsahu pro diplomovou práci. Text obsahuje podle mého všechny nezbytné informace, ale působí dojmem prvního draftu, který by šlo určitě dál rozvíjet a zlepšovat. Například, chápu, že student nechtěl uvádět v textu všech 23 gramatik, se kterými pracuje, ale určitě by nebylo na škodu jejich výčet v textu rozšířit a neuvádět je pouze v rámci přiloženého média.
Prezentační úroveň technické zprávy 73 Členění práce má jasnou a logickou strukturu. Informace na sebe navazují v dostatečné míře. Některé kapitoly a podkapitoly mají ale poměrně skromný obsah a mohly by být více rozvinuté. Strohost textu někdy není na škodu, tady to ale působí dojmem, že technická zpráva byla dopisována ve spěchu. Odkazování se na gramatiky na přídavném médiu, místo, aby byly uvedeny v textu, mi také nepřijde praktické.
Formální úprava technické zprávy 82 Typografická a jazyková stránka práce jsou na dobré úrovni, v textu jsem si všimla pouze pár drobných chyb a překlepů (například na straně 4 je uveden řetězec abba místo aabb).
Práce s literaturou 80 Práce má velmi skromný seznam literatury. Student se odkazuje pouze na 4 články, 1 knihu a svoji bakalářskou práci. Omezení množství literatury je však způsobeno tématem práce a student cituje dle zvyklostí a norem.
Realizační výstup 80 Student vytvořil pomocnou aplikaci v programovacím jazyku Swift. Aplikace (podobně jako text práce) je dělena do dvou hlavních částí. První část je pro analýzu algoritmu normalizace do 1. normální formy a druhá pro analýzu transformace na gramatiky s rozptýleným kontextem. Implementace realizačního výstupu má dobrou kvalitu, kód by mohl být místy více komentován. Problém mám trochu s přístupem studenta k uživatelské přívětivosti. Jak sám napsal: "Navíc aplikace byla sestrojena primárně pro její použití při tvorbě této práce, takže není nutné, aby byla hlášení o chybách více přehledná." Aplikace je opravdu vytvořená především pro studenta a jeho potřeby a výsledné rozhraní není příliš intuitivní. Je to přitom škoda, aplikace má za mě potenciál, pokud by byla pojata trochu s větším citem a s cílem dalšího použití.
Využitelnost výsledků Student úspěšně opravil chybný algoritmus transformace frontové gramatiky do 1. normální formy a také navrhl novou transformaci frontových gramatik na gramatiky s rozptýleným kontextem a s jedním kontextovým pravidlem. Oba tyto výsledky vidím jako přínos k již publikovaným výsledkům. Student rovněž vytvořil podpůrnou aplikaci, tam je však další použitelnost otázkou pro nepřívětivé uživatelské rozhraní.
Navrhovaná známka
C
Body
78

Otázky

eVSKP id 140952