but.committee	prof. Ing. Lukáš Sekanina, Ph.D. (předseda) doc. Ing. Zdeněk Vašíček, Ph.D. (místopředseda) Ing. Michal Bidlo, Ph.D. (člen) Ing. Ivana Burgetová, Ph.D. (člen) Ing. Ondřej Lengál, Ph.D. (člen) doc. Ing. Radomil Matoušek, Ph.D. (člen)	cs
but.defence	Studentka nejprve prezentovala výsledky, kterých dosáhla v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Studentka následně odpověděla 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í studentky na položené otázky rozhodla práci hodnotit stupněm D. Otázky u obhajoby: Jak je možné, že se automat v příkladu na str. 11 "nemůže vrátit ke čtení znaků a", když má řetězec podobu "cyklického bufferu"? Jakým způsobem "Předem určíme maximální počet stavů Q" (str. 16)? Můžete uvést výpočet velikosti prohledávaného prostoru pro nejnáročnější z Vašich experimentů?	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie a umělá inteligence	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Křivka, Zbyněk	cs
dc.contributor.author	Heindlová, Tina	cs
dc.contributor.referee	Bidlo, Michal	cs
dc.date.accessioned	2022-06-24T06:55:16Z
dc.date.available	2022-06-24T06:55:16Z
dc.date.created	2022	cs
dc.description.abstract	Práce se věnuje gramatické inferenci z hlediska evolučních algoritmů pro skákající formální modely. Nejdříve vysvětluje skákající formální modely, které se dělí na skákající gramatiky a skákající automaty. Poté popisuje gramatickou inferenci, evoluční algoritmy a všechny jejich důležité části, jako je generování řetězců a zjišťování členství řetězce do jazyka definovaného automatem. Daný algoritmus se pak aplikuje na vybrané druhy skákajících konečných automatů. Těmi jsou skákající konečné automaty, zobecněné skákající konečné automaty a doprava jednosměrně skákající konečné automaty. Testovány byly čtyři typy skákajících automatů a celkem bylo provedeno šestnáct experimentů. Z výsledků vyplývá, že inference fungovala nejlépe pro automaty bez větvení, a pro ty obsahující malé množství stavů a malou vstupní abecedu.	cs
dc.description.abstract	This thesis is focused on grammatical inference in the way of evolutionary algorithms for jumping finite models. The first part explains jumping finite models as itself. More specifically, it describes jumping grammars and jumping automata. The next part deals with grammatical inference, evolutionary algorithms, and their important parts. According to the developed jumping models, said parts include strings generation and membership testing. These two algorithms are applied to chosen types of jumping finite automata---jumping finite automata, general jumping finite automata, and right one-way jumping finite automata. These four types of automata were tested, and in total, sixteen experiments were run. Results show that the inference works much better for automata without branching and with a small number of states and a small alphabet.	en
dc.description.mark	D	cs
dc.identifier.citation	HEINDLOVÁ, T. Inference skákajících formálních modelů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2022.	cs
dc.identifier.other	145416	cs
dc.identifier.uri	http://hdl.handle.net/11012/207820
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	Skákající modely	cs
dc.subject	skákající automaty	cs
dc.subject	evoluční algoritmy	cs
dc.subject	gramatická inference	cs
dc.subject	Jumping models	en
dc.subject	jumping automata	en
dc.subject	evolution algorithms	en
dc.subject	grammatical inference	en
dc.title	Inference skákajících formálních modelů	cs
dc.title.alternative	Jumping Formal Models Inference	en
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2022-06-21	cs
dcterms.modified	2022-06-23-09:13:50	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	145416	en
sync.item.dbtype	ZP	en
sync.item.insts	2022.06.24 08:55:16	en
sync.item.modts	2022.06.24 08:16:40	en
thesis.discipline	Inteligentní zařízení	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémů	cs
thesis.level	Inženýrský	cs
thesis.name	Ing.	cs

Inference skákajících formálních modelů

Files

Original bundle

Collections