Kongruence na konečných automatech
Congruences on Finite Automata
dc.contributor.advisor | Demlová Marie | |
dc.contributor.author | Grimová Nela | |
dc.date.accessioned | 2015-05-28T10:44:07Z | |
dc.date.available | 2015-05-28T10:44:07Z | |
dc.identifier | KOS-587864230405 | |
dc.identifier.uri | http://hdl.handle.net/10467/61602 | |
dc.description.abstract | Cílem této práce je seznámení s kongruencemi na konečných automatech, a to zejména se elementární stavovou kongruencí. Jsou zde popsány algoritmy na konstrukci této kongruence a následně jsou diskutovány jejich výsledky na příkladech. Dále je popsán zobecněný případ elementární stavové kongruence - nejmenší kongruence obsahující relaci. | cze |
dc.description.abstract | The aim of this thesis is an introduction to congruences on finite automata, especially to elementary automaton state congruences. Two algorithms for finding elementary state automaton congruences are described and their result on various examples are discussed. Further, a generalization of elementary state automaton congruences is described -- the smallest state automaton congruences containing a relation. | eng |
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://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdf | 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://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdf | cze |
dc.subject | konečné automaty; stavová kongruence; elementární stavová kongruence; faktorový automat; nejmenší kongruence obsahující relaci. | cze |
dc.title | Kongruence na konečných automatech | cze |
dc.title | Congruences on Finite Automata | eng |
dc.type | bakalářská práce | cze |
dc.type | bachelor thesis | eng |
dc.contributor.referee | Mařík Radek | |
theses.degree.discipline | Informatika a počítačové vědy | cze |
theses.degree.grantor | katedra kybernetiky | cze |
theses.degree.programme | Otevřená informatika | cze |
Soubory tohoto záznamu
Tento záznam se objevuje v následujících kolekcích
-
Bakalářské práce - 13133 [778]