CHOCHOLATÝ, D. Regulované jazykové operace a jejich užití [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.
Student projevil extrémní svědomitost a pečlivost při řešení práce. V tomto ohledu patří k nejlepším, které kdy vedoucí měl. Student získával poznatky ze studijních materiálů, které se přednáší až na doktorandské úrovni na FIT VUT a které mu vedoucí poskytl. Výsledná BP překračuje zadání . K hodnocení A vedoucího vede (i) tvůrčí přístup k práci, (ii) samostatnost, (iii) publikace a (iv) velký zájem o teoretickou informatiku obecně.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Informace k zadání | Výsledná práce svojí obtížností přesahuje rámec BP neboť k jeho splnění bylo nutné prostudovat cizojazyčné odborné literatuře, převážně vědeckým článkům z oblasti teorie formálních jazyků. | ||
| Práce s literaturou | Student získával a využíval studijní materiály k řešení systematicky a pečlivě přesně dle pokynů vedoucího. | ||
| Aktivita během řešení, konzultace, komunikace | Komunikovali jsme osobně každý týden, obvykle v pondělí 11:00, ale i elektronicky. Student byl během řešení přesný, dodržoval dohodnuté termíny, své řešení průběžně konzultoval a byl na konzultace připraven. Instrukce vedoucího prováděl precizně. Student sám se student někdy zmínil o knize, časopisu či výsledku, které by ho zaujaly aniž ho k jejich studiu vedoucí explicitně nevyzval. | ||
| 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 podámn na Excel. Jeho práce sice nevyhrála žádné ocenění, ovšem hodnotím ohlasy na ni jako velmi kladné. I přes to, že většina poslucháčů nebyla zběhlá v oblasti teoretické informatiky, tak bych soudil, že je téma zaujalo a práce dostala slušné množství hlasů od veřejnosti i osobností přímo z FITu (celkem 18, což byl stejný nebo i vyšší počet hlasů oproti některým ostatním plakátům věnujícím se strojovému učení, zpracování obrazu, atd.). Vedoucí je s jeho výsledky a se zájmem osobně velmi spokojený. |
Práca definuje formálny model, skúma jeho vlastnosti a aplikuje ho v rôznych oblastiach. Formalizmy v práci sú precízne a tvrdenia sú dokázané. Študent nad rámec zadania tento model aplikoval pre kontrolu problému n dám. Z týchto dôvodov, spolu s náročnejším zadaním, je možné prehliadnuť nedostatky techickej správy. Hodnotím známkou A .
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Náročnost zadání | Študent sa musel oboznámiť so skákajúcimi automatmi, ktoré sú prednášané až na doktorskom štúdiu. Taktiež formálne definuje a skúma vymazávacie systémy, ktoré sú úplne nový formálny model. | ||
| Rozsah splnění požadavků zadání | Študent formálne definuje nový model a aplikuje ho v rôznych oblastiach podľa zadania. | ||
| Rozsah technické zprávy | |||
| Prezentační úroveň technické zprávy | 75 | Celková štruktúra práce je logická a kapitoly na seba nadväzujú. Kapitoly 3 a 4 majú každá cca 5 strán a bolo by vhodné ich spojiť. V práci je množstvo formalizmov a dôkazov, ktoré sú až na pár preklepov a nepresností správne. V príkladoch 4.4.1. a 5.5.1. sú však zavádzajúce tvrdenia. Autor tvrdí, že model je možné prirodzene previesť na výraz zamiešania, no následne ukazuje, že tento výraz nie je s modelom ekvivalentný. Algoritmus práce vymazávacieho systému je priložený v prílohe, čo je vzhľadom na dĺžku práce a dôležitosť tohto algoritmu nevhodné. Sú dva popisy algoritmu, no oba sú zložité a zle pochopiteľné. | |
| Formální úprava technické zprávy | 95 | Gramatiku nedokážem posúdiť. Práca obsahuje veľké množstvo formalizmov, ktoré sú vhodne vysadené a preto sú prehľadné. Žiadnu výraznú typografickú chybu som nenašiel. | |
| Práce s literaturou | 100 | Práca obsahuje 29 zdrojov, žiadny nie je online. Zdroje sú relevantné k téme práce. | |
| Realizační výstup | 90 | Implementácia je v jazyku Python a celá je zdokumentovaná. Množstvo komentárov v implementácii je však až prehnané. Implementované sú jednotlivé formálne modely a taktiež aplikácie, ktoré boli v práci spomenuté. Zdrojové súbory taktiež obsahujú príklady a testy. Jedná sa o aplikáciu bez grafického rozhrania. | |
| Využitelnost výsledků | Práca zavádza úplne nový formálny model nazvaný "vymazávacie systémy". Skúmaná je ich vyjadrovacia sila a taktiež uzáverové vlastnosti. Vysledky sú vhodne dokázané. Sú prezentované aj ich aplikácie. Určite je možné túto tému ďalej rozvíjať. |
eVSKP id 141140