Kongruence na konečných automatech
Congruences on Finite Automata
Typ dokumentu
bakalářská prácebachelor thesis
Autor
Grimová Nela
Vedoucí práce
Demlová Marie
Oponent práce
Mařík Radek
Studijní obor
Informatika a počítačové vědyStudijní program
Otevřená informatikaInstituce přidělující hodnost
katedra kybernetikyPrá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://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.pdfVysokoš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
Metadata
Zobrazit celý záznamAbstrakt
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. 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.
Kolekce
- Bakalářské práce - 13133 [778]