Detail práce
Gramatická formalizace překladu a její implementace
Táto práca slúži ako úvod do problematiky formálneho prekladu. Čitateľovi predstavuje podstatnú teóriu a následne používa jej poznatky na vytvorenie konkrétneho prekladača. V prvej časti sú definované základy teórie formálnych jazykov, ktorá je nutná pre pochopenie teórie formálneho prekladu, ktorej základne prvky sú vysvetlené následne. Druhá časť popisuje samotný preklad, najprv matematickým, následne výpočetným modelom. Sú spomenuté a vysvetlené kľúčové prvky implementácie. Prekladač, ktorý slúži ako overenie konceptu, je úspešne vytvorený. Na záver sú spomenuté niektoré možnosti vylepšenia samotného prekladaču, a taktiež aj možnosti ďalšieho rozvoja v tématike formálnych prekladov.
konečný automat, formálny jazyk, formálna gramatika, zásobníkový automat, prekladová gramatika, syntaxovo riadené prekladové schéme, zásobníkový prevodník, prekladač
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. Oponent hodnotil realizační výstup stupněm 4F, protože jeho činnost selhává i při jednoduchých vstupech. V rámci obhajoby nedokázal student tento nedostatek obhájit. Komise shledala, že práce je podprůměrná i v dalších parametrech. Komise se rozhodla práci hodnotit jako nevyhovující "F".
- Proč je zásobníkový převodník kombinován s překladovou gramatikou?
- Jakým způsobem lze vyjádřit prioritu operátorů v bezkontextové překladové gramatice?
- Kde jsou chyby kvůli kterým program nepřekládá validní vstup a jinde cyklí?
Grézl František, Ing., Ph.D. (UPGM FIT VUT), člen
Honzík Jan M., prof. Ing., CSc. (UIFS FIT VUT), člen
Kořenek Jan, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT), člen
@bachelorsthesis{FITBT19042, author = "Mat\'{u}\v{s} Sabol", type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce", title = "Gramatick\'{a} formalizace p\v{r}ekladu a jej\'{i} implementace", 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/19042/" }