but.committee	prof. Ing. Tomáš Hruška, CSc. (předseda) prof. Ing. Adam Herout, Ph.D. (místopředseda) doc. Ing. Michal Bidlo, Ph.D. (člen) Ing. František Grézl, Ph.D. (člen) Ing. Aleš Smrčka, Ph.D. (člen)	cs
but.defence	Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm C. Otázky u obhajoby: Které části práce popisují existující techniky a které popisují váš vlastní přínos? Dají se nějak charakterizovat automaty, na kterých port-based komplementace dává lepší výsledky než standardní metody? Jak ověřujete, že se vámi vytvořené automaty shodují se vstupními?	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Lengál, Ondřej	cs
dc.contributor.author	Kantor, Tomáš	cs
dc.contributor.referee	Rogalewicz, Adam	cs
dc.date.created	2021	cs
dc.description.abstract	Tato práce prezentuje nový algoritmus pro komplementaci nedeterministických konečných automatů. Současné metody vyžadují převod na deterministický konečný automat, který může mít exponenciálně větší počet stavů. Navržený algoritmus pracuje iterativně po jednotlivých silně souvislých komponentách konečného automatu. Díky tomu umožňuje jednotlivé části efektivněji komplementovat, redukovat a následně propojit s ostatními částmi automatu. Tento algoritmus je tak efektivnější než současné metody pro určité typy konečných automatů.	cs
dc.description.abstract	This thesis presents new algorithm for complement of nondeterministic finite automata. State-of-the-art methods require conversion to deterministic finite automata, which can have exponentially larger number of states. This new algorithm works separately on each strongly connected component of finite automata. This approach allows to create complement of each component, reduce it and combine with other parts. This algorithm was proven to create less states for specific types of finite automata than existing methods.	en
dc.description.mark	C	cs
dc.identifier.citation	KANTOR, T. Efektivní algoritmy pro konečné automaty [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2021.	cs
dc.identifier.other	137586	cs
dc.identifier.uri	http://hdl.handle.net/11012/201255
dc.language.iso	cs	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	konečné automaty	cs
dc.subject	nedeterministické konečné automaty	cs
dc.subject	doplněk	cs
dc.subject	antichain	cs
dc.subject	finite automata	en
dc.subject	nondeterministic finite automata	en
dc.subject	complement	en
dc.subject	antichain	en
dc.title	Efektivní algoritmy pro konečné automaty	cs
dc.title.alternative	Efficient Algorithms for Finite Automata	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2021-08-24	cs
dcterms.modified	2022-08-24-21:52:01	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	137586	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:38:52	en
sync.item.modts	2025.01.16 00:46:40	en
thesis.discipline	Informační technologie	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Bakalářský	cs
thesis.name	Bc.	cs

Efektivní algoritmy pro konečné automaty

Files

Original bundle

Collections