Aplikace přepisovacích pravidel v teorii čísel

Abstract

Tato diplomová práce se zabývá jazykem přepisovacích pravidel, speciálních zobrazení na množině nekonečných slov. Práce obsahuje přehled základních pojmů z teorie formálních jazyků a teorie čísel. Následně je čtenáři uvedena do souvislosti DUG vlastnost algebraických číselných těles s přepisovacími pravidly. Následuje popis činnosti překladačů. Výstupem implementační části je program pro přepisování číselných řetězců s možností parametrizace vstupu pomocí vlastního interpretu přepisovacích pravidel.

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.