Detail práce

Gramatická formalizace překladu a její implementace

Bakalářská práce Student: Sabol Matúš Akademický rok: 2018/2019 Vedoucí: Meduna Alexander, prof. RNDr., CSc.
Název anglicky
A Grammatical Formalization of Translation and Its Implementation
Jazyk práce
český
Abstrakt

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. Na tieto poznatky nadväzuje druhá časť, ktorá vo väčšej hĺbke rozoberá spracovanie zdola-hore. Je predstavenýkanonický LR(1) parser ako konkrétny praktický parser zdola-hore. Ako príklad je zostrojený prekladač matematických vzorcov z infixovej na postfixovú notáciu. Jadro prekladaču je následne implementované ako knižnica, ktorá dovoľuje špecifikovať ľubovoľný LR(1) preklad. Funkcionalita knižnice je testovaná implementáciou predom zostrojeného prekladaču a následného testovania správnosti výsledkov prekladu rôznych vstupov.

Klíčová slova

formálny jazyk, konečný automat, bezkontextová gramatika, zásobníkový automat, prekladová schéma, syntakticky riadený preklad, spracovanie zdola-hore, LR parser, prekladač

Ústav
Ústav informačních systémů FIT VUT v Brně
Studijní program
Informační technologie
Soubory
Stav
neobhájeno
Obhajoba
29. srpna 2019
Oponent
Regéciová Dominika, Ing.
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. Komise shledala, že předložená práce nesplňuje požadavky zadání. Komise se rozhodla hodnotit práci jako nevyhovující "F".

Otázky u obhajoby

1. Popište rozsah a složitost změn, pokud bychom chtěli překládanou gramatiku rozšířit o další matematické operace.
2. Je možné upravit realizační výstup tak, aby přijímal obecnější podobu gramatik, například s nástroji pro generování LR tabulek?

Komise
Růžička Richard, doc. Ing., Ph.D., MBA (UPSY FIT VUT), předseda
Dytrych Jaroslav, Ing., Ph.D. (UPGM FIT VUT), člen
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT), člen
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT), člen
Španěl Michal, Ing., Ph.D. (UPGM FIT VUT), člen
Citace
SABOL, Matúš. Gramatická formalizace překladu a její implementace. Brno, 2019. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2019-08-29. Vedoucí práce Meduna Alexander. Dostupné z: https://www.fit.vut.cz/study/thesis/22466/
BibTeX 
@bachelorsthesis{FITBT22466,
    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/22466/"
}

Závěrečné práce

Nahoru