Aplikace přepisovacích pravidel v teorii čísel
Application of rewriting rules in number theory
dc.contributor.advisor | Dombek Daniel | |
dc.contributor.author | Oppl David | |
dc.date.accessioned | 2018-06-07T10:25:59Z | |
dc.date.available | 2018-06-07T10:25:59Z | |
dc.date.issued | 2018-06-06 | |
dc.identifier | KOS-695600134105 | |
dc.identifier.uri | http://hdl.handle.net/10467/76217 | |
dc.description.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. | cze |
dc.description.abstract | 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. | eng |
dc.language.iso | CZE | |
dc.publisher | České vysoké učení technické v Praze. Vypočetní a informační centrum. | cze |
dc.publisher | Czech Technical University in Prague. Computing and Information Centre. | eng |
dc.rights | 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.html | eng |
dc.rights | Vysokoš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 | cze |
dc.subject | přepisovací pravidlo,teorie čísel,DUG vlastnost,formální jazyky,překladač,interpret,parser,C++ | cze |
dc.subject | rewriting rule,number theory,DUG property,formal languages,compiler,interpreter,parser,C++ | eng |
dc.title | Aplikace přepisovacích pravidel v teorii čísel | cze |
dc.title | Application of rewriting rules in number theory | eng |
dc.type | diplomová práce | cze |
dc.type | master thesis | eng |
dc.date.accepted | ||
dc.contributor.referee | Scholtzová Jiřina | |
theses.degree.discipline | Systémové programování | cze |
theses.degree.grantor | katedra teoretické informatiky | cze |
theses.degree.programme | Informatika | cze |
Soubory tohoto záznamu
Tento záznam se objevuje v následujících kolekcích
-
Diplomové práce - 18101 [216]