Thesis Details
Gramatická formalizace překladu a její implementace
This thesis serves as an introduction to the topic of formal translations. It introduces the reader to essential theory and then uses knowledge of said theory to create a translator based on a particular translation. First part defines the essentials of the formal languages theory, which is a prerequisite for understanding the formal translation theory, whose essentials are explained after it. The second part describes the translation itself, firstly with a theoretical model, then with a computational model. Key implementation details are explained and briefly discussed. The proof-of-concept translator is successfully created and some of its possible improvements, as well as ways of expanding the formal translation topic are discussed.
finite automaton, formal language, formal grammar, pushdown automaton, translation grammar, syntax-directed translation schema, pushdown transducer, translator
Grézl František, Ing., Ph.D. (DCGM FIT BUT), člen
Honzík Jan M., prof. Ing., CSc. (DIFS FIT BUT), člen
Kořenek Jan, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT), člen
@bachelorsthesis{FITBT19042, author = "Mat\'{u}\v{s} Sabol", type = "Bachelor's thesis", title = "Gramatick\'{a} formalizace p\v{r}ekladu a jej\'{i} implementace", school = "Brno University of Technology, Faculty of Information Technology", year = 2019, location = "Brno, CZ", language = "czech", url = "https://www.fit.vut.cz/study/thesis/19042/" }