Bachelor theses
Rewriting of digit strings and its application in number theory
Author
David Oppl
Year
2015
Type
Bachelor thesis
Supervisor
Ing. Daniel Dombek, Ph.D.
Reviewers
RNDr. Jiřina Scholtzová, Ph.D.
Department
Summary
This thesis is devoted to the study of applications of the so-called rewriting rules, special maps over the set of infinite words. The survey part contains summary on the topic of positional numeration systems and shows applications of rewriting rules in the problems of normalization, verification of admissibility and addition of the number representations. Furthermore, the reader is apprised with the so-called DUG property of algebraic fields and its connection with the rewriting rules. The goal of the implemental part is to create applications for rewriting digit strings and for parallel addition of number representations.
Master theses
Application of rewriting rules in number theory
Author
David Oppl
Year
2018
Type
Master thesis
Supervisor
Ing. Daniel Dombek, Ph.D.
Reviewers
RNDr. Jiřina Scholtzová, Ph.D.
Department
Summary
This master's thesis deals with the language of the so-called rewriting rules, special maps over the set of infinite words. This thesis contains summary on the topic of formal languages and number theory. Furthermore, the reader is apprised with the DUG property of algebraic number fields and its connection with rewriting rules. The reader is given brief overview of the compilation process. The output of the implementation part is application for rewriting digit string with input parametrized by the custom interpreter of user-defined rewriting rules.