Detail práce
Skákající jazykové modely
Cílem této diplomové práce je návrh a výzkum nových verzí skákajících automatů a gramatik. Nové verze jsou zaměřeny primárně na aplikace v bioinformatice - DNA computingu. Práce zkoumá jejich vyjadřovací sílu a další vlastnosti navržených modelů a porovnává je s již existujícími modely teoretické informatiky. Následně demonstruje praktické aplikace, konkrétně aplikace pro detekci aminokyselin a proteinů uvnitř DNA sekvence a provádí porovnání s již existujícími nástroji v DNA computingu, jako jsou například Markovy pravděpodobnostní modely.
skákající, gramatika, tree controlled, rozptýleným kontextem, DNA, RNA, JTC, teoretická informatika, bezkontextové, kontextové, lineární, regulární, jazyk, syntaktická analýza, derivační strom, skákající převodník, prokaryotní
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".
Ze svých mnoha připomínek k prezentovaným výsledkům vybírám dva algoritmy z kapitoly o skákajících tree controlled gramatikách. Z mého pohledu pomocí uvedených algoritmů následující otázky vyřešit nelze, ale třeba se mýlím a student to dokáže.
Uvažujme jednoduchou tree controlled gramatiku s pravidly {S->SSS, S->a} a regulárním výrazem S* dohromady zajišťující jazyk a^(3^n).
Podle algoritmu II převedeme pravidla do CNF, tedy {S->SA,A->SS,S->a}.
- Jak bude podle algoritmu III vypadat upravená množina regulárních výrazů, tak aby byl přijímaný jazyk stále a^(3^n)?
- Jak bude pro tuto tree controlled gramatiku vypadat ekvivalentní scattered context gramatika vygenerovaná dle algoritmu IV?
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT), člen
Hladká Eva, doc. RNDr., Ph.D. (FI MUNI), člen
Jaroš Jiří, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Kořenek Jan, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT), člen
@mastersthesis{FITMT21471, author = "Lubom\'{i}r O\v{s}mera", type = "Diplomov\'{a} pr\'{a}ce", title = "Sk\'{a}kaj\'{i}c\'{i} jazykov\'{e} modely", school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}", year = 2019, location = "Brno, CZ", language = "czech", url = "https://www.fit.vut.cz/study/thesis/21471/" }