but.committee	prof. Ing. Jan M. Honzík, CSc. (předseda) doc. Ing. Vladimír Janoušek, Ph.D. (místopředseda) doc. RNDr. Michal Novák, Ph.D. (člen) Ing. Josef Strnadel, Ph.D. (člen) Ing. Igor Szőke, 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ázku 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 uspokojivě (D). Otázky u obhajoby: Porovnejte vámi navržený algoritmus s návrhem postupu prezentovaného v doporučené literatuře. Bylo by možné oba postupy zkombinovat a dosáhnout u vašeho algoritmu lepší časové složitosti?	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	Křivka, Zbyněk	cs
dc.contributor.author	Růžička, Ladislav	cs
dc.contributor.referee	Kocman, Radim	cs
dc.date.created	2017	cs
dc.description.abstract	Tato práce se zabývá demonstrací nově zkoumaného výpočetního modelu pro popis formálních jazyků, a to skákajícího automatu. Místo souvislého čtení vstupního řetězce, jak je tomu u konvenčních konečných automatů, tak u skákajícího automatu je proveden skok přes nějaké symboly, a poté je přečten symbol. V této práci se zejména budeme zabývat hledáním praktického algoritmu pro určení problému členství vstupního řetězce do jazyka popsaného skákajícím automatem. Ukážeme, že problém členství může být redukován na problém hledání nějakého nezáporného celočíselného řešení pro formuli v Presburgové aritmetice bez kvantifikátorů. Z této formule jsme schopni jednoznačně definovat jazyk přijímaný skákajícím automatem. Najdeme podmnožinu takových skákajících automatů, pro které lze vyřešit problém členství v polynomiálním čase. Zmíníme se také, že předchozí formule lze převést na konečný automat s více čtecími hlavami. Bohužel pro problém členství obecného skákajícího automatu hledání nezáporné číselného řešení je nedostačující, nicméně metoda může zmenšit prohledávaný stavový prostor. Uvedeme další možné heuristiky, které výrazně urychlují výpočet problému členství pro obecné skákající automaty.	cs
dc.description.abstract	This paper is concerned with demonstration of newly investigated jumping finite automata. Unlike conventional finite automata that read input words continuously these automatas make a jump over some symbols and from there it can read a symbol. In this paper we will be mostly focused on finding a practical algorithm for solving the membership problem. As will be shown the membership problem for jumping finite automata can be reduced to finding a non-negative integral solution to a Quantifier-Free Presburger arithmetics formula. From such formula we are able to determine whole infinite language of jumping finite automata. We will show that some subset of jumping finite automata can be solved in polynomial time. We note that formula in Presburger arithmetics can be transformed to the corresponding concurent finite automata. Unfortunately for general jumping automata finding non-negative solution is not sufficent but it can reduce search space. Other heuristics will be presented that increase the effectivity for the general jumping finite automata acceptance process.	en
dc.description.mark	D	cs
dc.identifier.citation	RŮŽIČKA, L. Demonstrace skákajících automatů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2017.	cs
dc.identifier.other	106362	cs
dc.identifier.uri	http://hdl.handle.net/11012/69461
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í konečný automat	cs
dc.subject	obecný skákající automat	cs
dc.subject	problém členství	cs
dc.subject	celočíselné linearní programování	cs
dc.subject	podmínkové celočíselné programování	cs
dc.subject	zpětné navrácení	cs
dc.subject	heuristiky	cs
dc.subject	jumping finite automata	en
dc.subject	general jumping finite automata	en
dc.subject	membership problem	en
dc.subject	integer linear programming	en
dc.subject	constraint integer programming	en
dc.subject	backtrack	en
dc.subject	heuristics	en
dc.title	Demonstrace skákajících automatů	cs
dc.title.alternative	Demonstrations of Jumping Automata	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2017-06-13	cs
dcterms.modified	2020-05-10-16:13:02	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	106362	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 18:59:00	en
sync.item.modts	2025.01.17 09:54:41	en
thesis.discipline	Informační technologie	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémů	cs
thesis.level	Bakalářský	cs
thesis.name	Bc.	cs

Demonstrace skákajících automatů

Files

Original bundle

Collections