MOLNÁROVÁ, V. Efektivní redukce konečných automatů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.
Jako vedoucí jsem byl s prací Veroniky Molnárové spokojen. Zadání bylo těžší, ale Veronika se s ním dokázala velmi dobře vypořádat a získala zajímavé výsledky, které budou sloužit pro další výzkum. Práci hodnotím stupněm výborně ( A ).
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Informace k zadání | Zadání práce zapadá do oblasti výzkumu efektivních algoritmů pro manipulaci s konečnými automaty, který probíhá ve skupině VeriFIT. Jde o náročnější zadání, studentka si musela nastudovat řadu nových formalismů a algoritmů pro redukci konečných automatů, tyto implementovat, a poté ještě vymyslet nový způsob redukce automatů pomocí QBF solverů. S výsledky jsem spokojen - určitě by je šlo ještě vylepšit, ale to už by bylo nad rámec rozumných požadavků pro rozsah bakalářské práce. | ||
| Práce s literaturou | Studentka dostala zadány základní materiály, zbytek si našla sama. | ||
| Aktivita během řešení, konzultace, komunikace | Konzultace probíhaly pravidelně, Veronika na ně chodila připravena. | ||
| Aktivita při dokončování | Práce byla dokončena v rozumném předstihu. | ||
| Publikační činnost, ocenění | Práce byla prezentována formou posteru na studentské konferenci EXCEL@FIT'23. Z výstupů je potenciál vytvořit článek na nějaké středně rozumné mezinárodní konferenci (což se doufám stane, byť si uvědomuji, že hlavní brzda je nedostatek času vedoucího). |
Práci hodnotím známkou A - výborně . Jedná se o zdařilou práci přinášející nové výsledky. Technická zpráva je na velmi dobré úrovni. Oceňuji formální úroveň práce a rovněž kvalitní experimentální vyhodnocení, které přináší, pro mě, někdy dokonce až trošku překvapivé výsledky.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Náročnost zadání | Zadání považuji za obtížnější. Práce vyžadovala nastudování různých aktuálních technik redukce konečných automatů, SAT a QBF solvingu a jejich efektivní implementace. | ||
| Rozsah splnění požadavků zadání | Zadání bylo kvalitně splněno. | ||
| Rozsah technické zprávy | Rozsah technické zprávy odpovídá vykonané práci a je v obvyklém rozmezí. Jednotlivé kapitoly jsou informačně bohaté a navazují na sebe. Práce neobsahuje zbytečné části. | ||
| Prezentační úroveň technické zprávy | 92 | Technická zpráva je po prezentační stránce velice pěkná. Práce je dobře čitelná a snadno pochopitelná. Jednotlivé pojmy jsou formálně definovány a jsou doplněny o příklady a neformální popis. Trošku více úsilí bych věnoval způsobu označování Boolovských proměnných pro přechody v navrženém algoritmu (aktuálně to působí trošku zmatečně). Navržený přístup redukce pomocí SAT/QBF je jinak velice dobře popsán, včetně komentáře jednotlivých rozhodnutí, což obvzláště oceňuji. | |
| Formální úprava technické zprávy | 95 | Práce je psaná dobrou angličtinou. Po typografické stráce se rovněž jedná o zdařilé dílo. | |
| Práce s literaturou | 95 | Práce cituje řadu aktuálních článků relevantních k tématu. Převzaté prvky jsou dle mého názoru řádně odlišeny od vlastních výsledků. | |
| Realizační výstup | 92 | Programové řešení obsahuje program a skripty pro redukci konečných automatů. Ačkoliv zdrojové kódy nejsou nejrozsáhlejší, jsou dokumentované a je k dispozici readme pro snadné zprovoznění. Programové řešení mi bylo prezentováno a je funkční. | |
| Využitelnost výsledků | Práce přináší nové poznatky v oblasti redukce konečných automatů. Navržené algoritmy by mohly být zahrnuty do knihovny pro práci s automaty, kde by mohly rozšířit portfolio redukčních technik. |
eVSKP id 145522