Detail práce

Skákající jazykové modely

Diplomová práce Student: Ošmera Lubomír Akademický rok: 2018/2019 Vedoucí: Meduna Alexander, prof. RNDr., CSc.
Název anglicky
Jumping Language Models
Jazyk práce
český
Abstrakt

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.

Klíčová slova

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í

Ústav
Studijní program
Informační technologie, obor Počítačové sítě a komunikace
Soubory
Stav
obhájeno, hodnocení B
Obhajoba
18. června 2019
Oponent
Průběh obhajoby

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".

Otázky u obhajoby

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}.

  1. 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)?
  2. Jak bude pro tuto tree controlled gramatiku vypadat ekvivalentní scattered context gramatika vygenerovaná dle algoritmu IV?
Komise
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT), předseda
Č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
Citace
OŠMERA, Lubomír. Skákající jazykové modely. Brno, 2019. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2019-06-18. Vedoucí práce Meduna Alexander. Dostupné z: https://www.fit.vut.cz/study/thesis/21471/
BibTeX
@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/"
}
Nahoru