but.committee	doc. Ing. František Zbořil, Ph.D. (předseda) doc. Mgr. Adam Rogalewicz, Ph.D. (místopředseda) doc. Ing. Michal Bidlo, Ph.D. (člen) doc. Ing. Lukáš Burget, Ph.D. (člen) Ing. František Grézl, Ph.D. (člen) Prof. RNDr. Mária Lucká, 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 A. Otázky u obhajoby: Uvěďte příklad (praktického) problému, kde se Vámi navržený algoritmus dá použít.	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	Valeš, Ondřej	cs
dc.contributor.referee	Hruška, Martin	cs
dc.date.created	2019	cs
dc.description.abstract	Cílem této práce je navržení efektivních algoritmů pro testování jazykové ekvivalence a inkluze stromových automatů a dále pak implementace těchto algoritmů jako rozšíření knihovny VATA. Nejprve je provedena rešerše existujících přístupů testování ekvivalence a inkluze slovních i stromových automatů. Z nich poté vychází návrh nového přístupu k testování ekvivalence a inkluze jazyků stromových automatů založený na bisimulaci vzhledem ke kongruenci, ke kterému je představen formální důkaz korektnosti. Součástí práce je také srovnání efektivity představeného algoritmu a již existujících přístupů, které ukazuje, že na obtížných případech je náš algoritmus často lepší než existující přístupy.	cs
dc.description.abstract	In this work a novel algorithm for testing language equivalence and inclusion on tree automata is proposed and implemented as a module in the VATA library. First, existing approaches to equivalence and inclusion testing on both word and tree automata are examined. These existing approaches are then modified to create bisimulation up-to congruence algorithm for tree automata and a formal proof of the soundness of the new algorithm is provided. Efficiency of this new approach is compared with existing language equivalence and inclusion testing methods for tree automata, showing the performance of our algorithm on hard cases is often superior.	en
dc.description.mark	A	cs
dc.identifier.citation	VALEŠ, O. Efektivní algoritmy pro stromové automaty [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2019.	cs
dc.identifier.other	121958	cs
dc.identifier.uri	http://hdl.handle.net/11012/180360
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	slovní automaty	cs
dc.subject	stromové automaty	cs
dc.subject	jazyková ekvivalence	cs
dc.subject	jazyková inkluze	cs
dc.subject	bisimulace	cs
dc.subject	antichainy	cs
dc.subject	bisimulation up-to congruence	cs
dc.subject	word automata	en
dc.subject	tree automata	en
dc.subject	language equivalence	en
dc.subject	language inclusion	en
dc.subject	bisimulation	en
dc.subject	antichains	en
dc.subject	bisimulation up-to congruence	en
dc.title	Efektivní algoritmy pro stromové automaty	cs
dc.title.alternative	Efficient Algorithms for Tree Automata	en
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2019-06-17	cs
dcterms.modified	2019-07-08-13:31:20	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	121958	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.26 15:28:49	en
sync.item.modts	2025.01.15 23:04:01	en
thesis.discipline	Inteligentní systémy	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

Efektivní algoritmy pro stromové automaty

Files

Original bundle

Collections