but.committee	prof. Ing. Tomáš Vojnar, Ph.D. (předseda) doc. Ing. Ondřej Ryšavý, Ph.D. (místopředseda) Ing. František Grézl, Ph.D. (člen) doc. Ing. Tomáš Martínek, Ph.D. (člen) Dr. Ing. Petr Peringer (č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 B. Otázky u obhajoby: Uměl byste rozdělit tabulku 7.1 na dvě části podle toho, zda prázdnost platí nebo ne, ideálně doplnit i o počty automatů, maxima a směrodatnou odchylku? (a ukázat výsledné tabulky na obhajobě, tj. nestačí odpovědět "Ano") Jaké jsou další plány v tomto směru?	cs
but.jazyk	angličtina (English)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Holík, Lukáš	en
dc.contributor.author	Kocourek, Tomáš	en
dc.contributor.referee	Lengál, Ondřej	en
dc.date.created	2022	cs
dc.description.abstract	Tato práce si klade za cíl implementaci a experimentální porovnání protiřetězcových algoritmů s abstrakcí a bez abstrakce, které testují prázdnost alternujících automatů. Autor také navrhuje vlastní algoritmy s abstrakcí a navrhuje několik optimalizací pro existující abstraktní algoritmy. Práce popisuje teoretické pozadí studovaných algoritmů a navrhuje efektivní způsob implementace datových struktur, které jsou těmito algoritmy používány. Experimentální vyhodnocení na náhodných automatech ukazuje, že algoritmy bez abstrakce vykazují obecně lepší výsledky, neboť nevyužívají náročné operace průniku a komplementace shora a zdola uzavřených množin. V případě automatů s vysokou hustotou přechodů však algoritmy bez abstrakce zpomalují a algoritmy s abstrakcí naopak zrychlují.	en
dc.description.abstract	The goal of this thesis is to implement and experimentally compare antichain-based algorithms with and without abstraction, which decide the emptiness of alternating finite automata. The author also proposes his own algorithms using abstraction and comes up with a few optimizations of existing abstract algorithms. The thesis introduces the theoretical background of studied algorithms and describes efficient ways to implement data structures which are used by these algorithms. The experimental evaluation over random automata shows that the algorithms without abstraction give us better results in general because they do not perform costly evaluation of closed set intersection and complementation. However, in case of automata with high transition density, the algorithms without abstraction tend to decelerate, while the abstract ones accelerate.	cs
dc.description.mark	B	cs
dc.identifier.citation	KOCOUREK, T. Abstrakce v automatových algoritmech [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2022.	cs
dc.identifier.other	145230	cs
dc.identifier.uri	http://hdl.handle.net/11012/207357
dc.language.iso	en	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	alternující konečný automat	en
dc.subject	abstrakce	en
dc.subject	protiřetězec	en
dc.subject	prázdnost jazyka	en
dc.subject	konkrétní doména	en
dc.subject	abstraktní doména	en
dc.subject	pevný bod	en
dc.subject	rozklad	en
dc.subject	alternating finite automaton	cs
dc.subject	abstraction	cs
dc.subject	antichain	cs
dc.subject	language emptiness	cs
dc.subject	concrete domain	cs
dc.subject	abstract domain	cs
dc.subject	fixed point	cs
dc.subject	partition	cs
dc.title	Abstrakce v automatových algoritmech	en
dc.title.alternative	Abstraction in Automata Algorithms	cs
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2022-06-13	cs
dcterms.modified	2022-06-20-10:23:12	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	145230	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:42:05	en
sync.item.modts	2025.01.16 00:21:42	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

Abstrakce v automatových algoritmech

Files

Original bundle

Collections