FOLTÝN, Z. Centralizované verze skákajících automatů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2025.
Sumarizujme: Student strávil letní semestr (únor - červen) na University of Porto přes Erasmus, kde splnil všechny úkoly a úspěšně dokončil všechny předměty. Jeho stávající Statní závěrečná zkouška a obhajoba BP, která je založena na výše zmíněné kapitole, probíhá až nyní tj v srpnu 2025 neboť v červnu 2025 byl ještě v Portu. A to nejpodstatnější na konec: ve spolupráci se svým vedoucím tento student již dosáhl publikace na mezinárodní úrovni a to publikacíl kapitoly Centralized Versions of Jumping Finite Automata , strany 69–84 v knize Languages of Cooperation and Communication , (LNCS, volume 15840), 2025.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Informace k zadání | Tato práce byla velmi náročná neboť vyžadovala studium cizojazyčné literatury a zavést zcela nové koncepty a dokázat rigorózně nové výsledky. Byla vypracována dle uvedeného tématu a postupu. Práce překročila zadání signifikantně. | ||
| Práce s literaturou | Během získávání materiálů k řešení práce byl student velmi aktivní. | ||
| Aktivita během řešení, konzultace, komunikace | Student se mnou komunikoval pravidelně osobně v zimním semestru. V letním semestru byl na University of Porto a v ten čas jsme komunikovali elektronicky a telefonicky. V některých týdnech jsme komunikovali až čtyřikrát. Pracoval extrémně intenzivně. | ||
| Aktivita při dokončování | Práce byla dokončena v obrovském předstihu a její obsah byl konzultován naprosto detailně. | ||
| Publikační činnost, ocenění | Ve spolupráci se svým vedoucím tento student dosáhl publikace na mezinárodní úrovni. Konkrétně, publikoval kapitolu Centralized Versions of Jumping Finite Automata , strany 69–84 v knize Languages of Cooperation and Communication , (LNCS, volume 15840), 2025. |
Práca spĺňa všetky formálne a obsahové požiadavky, prináša originálny teoretický prínos aj praktickú implementáciu. Zadanie bolo nadpriemerne náročné a autor ho zvládol výborne.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Náročnost zadání | Zadanie je vysoko teoretické a vyžaduje detailné porozumenie formálnym modelom v teoretickej informatike, konkrétne skákajúcim automatom a ich modifikáciám. Definuje nové verzie skákajúcich automatov a dokazuje ich vyjadrovaciu silu. | ||
| Rozsah splnění požadavků zadání | Všetky body zadania boli v práci splnené. | ||
| Rozsah technické zprávy | Rozsah práce je odpovedajúci a primeraný. | ||
| Prezentační úroveň technické zprávy | 100 | Práca má jasne členenú štruktúru – od úvodu, cez teoretické základy, formálnu definíciu nového modelu, jeho varianty, až po implementačnú časť a záver. Kapitoly na seba logicky nadväzujú. | |
| Formální úprava technické zprávy | 90 | Práca je po jazykovej aj typografickej stránke na vysokej úrovni, s minimom formálnych chýb. | |
| Práce s literaturou | 100 | Citácie sú vhodne zvolené a sú v súlade s citačnými normami, všetky prevzaté časti sú jasne odlíšené od vlastného prínosu autora. | |
| Realizační výstup | 90 | V rámci hodnotenia uvažujem o dvoch častiach realizačného výstupu. Prvá časť je návrh nového druhu skákajúceho automatu a jeho verzií. Návrh automatu a jeho verzii ako aj dôkazy vyjadrovacej sily sú kvalitne spracované. Druhá časť je implementácia simulačného nástroja, ktorá je na dobrej úrovni. | |
| Využitelnost výsledků | Práca má prevažne výskumný charakter, prináša rozšírenie už existujúceho teoretického modelu a nové poznatky o jeho výpočtovej sile. Teoretické poznatky môžu byť využité v ďalšom štúdiu skákajúcich automatov ako aj linearnych gramatík. Implementovaný simulátor môže byť využitý na ďalší výskum alebo výučbu v oblasti teórie formálnych jazykov a automatov. |
eVSKP id 161512