Detail práce
Multidimensionální jazyky a jejich automaty
Práce seznamuje s teorií formálních jazyků a konečných automatů. Popisuje zobecnění této teorie do dvou rozměrů. Představuje základní typy dvoudimensionálních automatů, přede- vším teselační automaty. Pro teselační automaty jsou nabídnuty algoritmy k jejich determinizaci. Jeden z algoritmů je následně používán přiloženou aplikací pro determinizaci.
Konečné automaty, Determinizace, Formální jazyky, Dvoudimensionální jazyky, Dvoudimensionální automaty, Teselační automaty
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm B.
Zkoumal jste také využití teselačních automatů v praxi? Jak je pak toto ovlivněno determinismem?
Bartík Vladimír, Ing., Ph.D. (UIFS FIT VUT), člen
Burget Lukáš, doc. Ing., Ph.D. (UPGM FIT VUT), člen
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT), člen
Strnadel Josef, Ing., Ph.D. (UPSY FIT VUT), člen
@bachelorsthesis{FITBT18881, author = "Luk\'{a}\v{s} Dib\v{d}\'{a}k", type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce", title = "Multidimension\'{a}ln\'{i} jazyky a jejich automaty", school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}", year = 2016, location = "Brno, CZ", language = "czech", url = "https://www.fit.vut.cz/study/thesis/18881/" }