Aplikace přepisovacích pravidel v teorii čísel
Application of rewriting rules in number theory
Typ dokumentu
diplomová prácemaster thesis
Autor
Oppl David
Vedoucí práce
Dombek Daniel
Oponent práce
Scholtzová Jiřina
Studijní obor
Systémové programováníStudijní program
InformatikaInstituce přidělující hodnost
katedra teoretické informatikyPráva
A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.htmlVysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html
Metadata
Zobrazit celý záznamAbstrakt
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.
Kolekce
- Diplomové práce - 18101 [216]