Thesis Details
Gramatická formalizace překladu a její implementace
This thesis serves as an introduction to the topic of formal translation. The reader is introduced to important theoryand this theory is subsequently used to construct a particular translator. The first part defines the base formal languages theory. These findings are followed upon by the second part that firstly concerns itself with bottom-up parsing in more detail. A canonical LR(1) parser is introduced as a practical bottom-up parser. A translator of infix mathemetical expressions to postfix is constructed as an example. The translator core is subsequently implemented as a library that allows specifying any LR(1) translation. The library functionality is tested by implementing the beforeconstructed translator and by its subsequent testing of the correctness translation outputs for various inputs.
formal language, finite automaton, context-free grammar, pushdown automaton, translation schema, syntax-directed translation, bottom-up parsing, LR parser, translator
Dytrych Jaroslav, Ing., Ph.D. (DCGM FIT BUT), člen
Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT), člen
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT), člen
Španěl Michal, Ing., Ph.D. (DCGM FIT BUT), člen
@bachelorsthesis{FITBT22466, 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/22466/" }