Synchronization, Road Coloring, and Jumps in Finite Automata

Vorel, Vojtěch

Synchronizace, barvení cesty a skoky v konečných automatech

dc.contributor.advisor	Koubek, Václav
dc.creator	Vorel, Vojtěch
dc.date.accessioned	2017-05-26T10:05:05Z
dc.date.available	2017-05-26T10:05:05Z
dc.date.issued	2015
dc.identifier.uri	http://hdl.handle.net/20.500.11956/62043
dc.description.abstract	Práce shrnuje několik původních výsledků v teorii automatů a formálních jazyků. Studuje kombinatorické otázky a výpočetních úlohy z oblasti synchronizačních slov a barvení cesty. Kromě toho se zabývá skokovými konečnými automaty a souvisejícími typy přepisovacích systémů. Powered by TCPDF (www.tcpdf.org)	cs_CZ
dc.description.abstract	Multiple original results in the theory of automata and formal languages are presented, dealing mainly with combinatorial problems and complexity questions related to reset words and road coloring. The other results concern jumping finite automata and related types of rewriting systems. Powered by TCPDF (www.tcpdf.org)	en_US
dc.language	English	cs_CZ
dc.language.iso	en_US
dc.publisher	Univerzita Karlova, Matematicko-fyzikální fakulta	cs_CZ
dc.subject	Synchronizační slovo	cs_CZ
dc.subject	Barvení cesty	cs_CZ
dc.subject	Skokové automaty	cs_CZ
dc.subject	Reset word	en_US
dc.subject	Road coloring	en_US
dc.subject	Jumping finite automata	en_US
dc.title	Synchronization, Road Coloring, and Jumps in Finite Automata	en_US
dc.type	diplomová práce	cs_CZ
dcterms.created	2015
dcterms.dateAccepted	2015-06-04
dc.description.department	Department of Theoretical Computer Science and Mathematical Logic	en_US
dc.description.department	Katedra teoretické informatiky a matematické logiky	cs_CZ
dc.description.faculty	Matematicko-fyzikální fakulta	cs_CZ
dc.description.faculty	Faculty of Mathematics and Physics	en_US
dc.identifier.repId	161830
dc.title.translated	Synchronizace, barvení cesty a skoky v konečných automatech	cs_CZ
dc.contributor.referee	Mráz, František
dc.identifier.aleph	002004429
thesis.degree.name	Mgr.
thesis.degree.level	navazující magisterské	cs_CZ
thesis.degree.discipline	Teoretická informatika	cs_CZ
thesis.degree.discipline	Theoretical Computer Science	en_US
thesis.degree.program	Informatika	cs_CZ
thesis.degree.program	Computer Science	en_US
uk.thesis.type	diplomová práce	cs_CZ
uk.taxonomy.organization-cs	Matematicko-fyzikální fakulta::Katedra teoretické informatiky a matematické logiky	cs_CZ
uk.taxonomy.organization-en	Faculty of Mathematics and Physics::Department of Theoretical Computer Science and Mathematical Logic	en_US
uk.faculty-name.cs	Matematicko-fyzikální fakulta	cs_CZ
uk.faculty-name.en	Faculty of Mathematics and Physics	en_US
uk.faculty-abbr.cs	MFF	cs_CZ
uk.degree-discipline.cs	Teoretická informatika	cs_CZ
uk.degree-discipline.en	Theoretical Computer Science	en_US
uk.degree-program.cs	Informatika	cs_CZ
uk.degree-program.en	Computer Science	en_US
thesis.grade.cs	Výborně	cs_CZ
thesis.grade.en	Excellent	en_US
uk.abstract.cs	Práce shrnuje několik původních výsledků v teorii automatů a formálních jazyků. Studuje kombinatorické otázky a výpočetních úlohy z oblasti synchronizačních slov a barvení cesty. Kromě toho se zabývá skokovými konečnými automaty a souvisejícími typy přepisovacích systémů. Powered by TCPDF (www.tcpdf.org)	cs_CZ
uk.abstract.en	Multiple original results in the theory of automata and formal languages are presented, dealing mainly with combinatorial problems and complexity questions related to reset words and road coloring. The other results concern jumping finite automata and related types of rewriting systems. Powered by TCPDF (www.tcpdf.org)	en_US
uk.file-availability	V
uk.publication.place	Praha	cs_CZ
uk.grantor	Univerzita Karlova, Matematicko-fyzikální fakulta, Katedra teoretické informatiky a matematické logiky	cs_CZ
dc.identifier.lisID	990020044290106986