but.committee	prof. Ing. Martin Drahanský, Ph.D. (předseda) prof. Ing. Tomáš Vojnar, Ph.D. (místopředseda) Ing. František Grézl, Ph.D. (člen) Ing. Martin Hrubý, Ph.D. (člen) Mgr. Kamil Malinka, Ph.D. (člen) Mgr. Ing. Pavel Očenášek, Ph.D. (člen)	cs
but.defence	Student se nedostavil. Otázky u obhajoby: Mohl byste charakterizovat blíže automat s omezenými čítači (a regulární výraz, ze kterého původně vznikl), na kterém jste dosáhl Vámi zmiňované nejlepší procentuální redukce (82 % na str. 67)? Je vždy simulační redukce procentuálně ostře lepší než bisimulační, jak uvádíte na straně 66? Neměla by na str. 27 v bodě 2(b) ve větě "We thus also require that..." být použita inverze beta s apostrofem? Je použití Exit1 na straně 30 v bodě (II)4(a) správně?	cs
but.jazyk	angličtina (English)
but.program	Informační technologie	cs
but.result	práce nebyla úspěšně obhájena	cs
dc.contributor.advisor	Holík, Lukáš	en
dc.contributor.author	Turcel, Matej	en
dc.contributor.referee	Vojnar, Tomáš	en
dc.date.accessioned	2021-06-25T07:55:45Z
dc.date.available	2021-06-25T07:55:45Z
dc.date.created	2021	cs
dc.description.abstract	Táto práca sa zaoberá redukciou veľkosti tzv. čítačových automatov. Čítačové automaty rozširujú klasické konečné automaty o čítače s obmedzeným rozsahom hodnôt. Umožňujú tým efektívne spracovať napr. regulárne výrazy s opakovaním: a{5,10}. V tejto práci sa zaoberáme reláciou simulácie v čítačových automatoch, pomocou ktorej sme schopní zredukovať ich veľkosť. Opierame sa pritom o klasickú simuláciu v konečných automatoch, ktorú netriviálnym spôsobom rozširujeme na čítačové automaty. Kľúčovým rozdielom je nutnosť simulovať okrem stavov taktiež čítače. Za týmto účelom zavádzame nový koncept parametrizovanej relácie simulácie, a navrhujeme metódy výpočtu tejto relácie a redukcie veľkosti čítačových automatov pomocou nej. Navrhnuté metódy sú tiež implementované a je vyhodnotená ich efektivita.	en
dc.description.abstract	This works deals with size reduction of counting automata (CA). Counting automata extend the classical finite automata with bounded counters. This allows efficient handling of e.g. regular expressions with repetition: a{5,10}. In this thesis we discusses the simulation relation in CA, which allows us to reduce their size. We rely on classical simulation in finite automata, which we non-trivially extend to CA. The key difference lies in the necessity to simulate counters as well as states. To this end, we present the novel concept of parameterized simulation relation in CA, and propose methods for computing this relation and using it to reduce the size of a CA. The proposed methods have been implemented and their efficiency experimentally evaluated.	cs
dc.description.mark	A	cs
dc.identifier.citation	TURCEL, M. Minimalizace automatů s jednoduchými čítači [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2021.	cs
dc.identifier.other	136819	cs
dc.identifier.uri	http://hdl.handle.net/11012/200189
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	čítačový automat	en
dc.subject	simulácia	en
dc.subject	redukcia automatov	en
dc.subject	counting automaton	cs
dc.subject	simulation	cs
dc.subject	reduction of automata	cs
dc.title	Minimalizace automatů s jednoduchými čítači	en
dc.title.alternative	Minimization of Counting Automata	cs
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2021-06-23	cs
dcterms.modified	2021-08-27-15:50:04	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	136819	en
sync.item.dbtype	ZP	en
sync.item.insts	2021.11.10 14:16:52	en
sync.item.modts	2021.11.10 13:33:02	en
thesis.discipline	Matematické metody v informačních technologiích	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Inženýrský	cs
thesis.name	Ing.	cs

Minimalizace automatů s jednoduchými čítači

Files

Original bundle

Collections