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 A. Otázky u obhajoby: V literatuře se běžně zavádí pojem "alternující" pro jiné modely výpočtu (např. Turingových strojů). Můžete vysvětlit, jak se principiálně liší váš přístup "alternace" a zda by nebyl vhodný jiný název. Uvažoval jste i jiné definice alternujících skákajících automatů (např. aby se neskákalo až zcela na pravý okraj, ale tak, aby nebylo třeba stále měnit směr čtení)? Oproti propracovaným důkazům je implementace spíše základní. Obsahuje skript DNAfilter i možnost zpracovávat vstupní řetězec podle nedeterministického alternujícího skákajícího automatu, nebo pouze deterministického?	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	Meduna, Alexandr	cs
dc.contributor.author	Nejedlý, Dominik	cs
dc.contributor.referee	Křivka, Zbyněk	cs
dc.date.created	2022	cs
dc.description.abstract	Tato práce zavádí alternující skákající automaty a zkoumá některé jejich vlastnosti a vyjadřovací možnosti. Tyto automaty se podobně jako klasické skákající automaty vyznačují schopností nespojitého zpracovávání vstupních řetězců. Po každém jednom čtení symbolů provádí skok na nejvzdálenější místo ve vstupní pásce od aktuální pozice čtecí hlavy a od tam následně v procesu přijímání pokračují. Výchozí počáteční pozicí čtecí hlavy je levý okraj vstupní pásky. Práce demonstruje vliv různých počátečních konfigurací na výpočetní sílu těchto automatů a na základě nově představených převodových algoritmů dokazuje ekvivalenci jejich určitých verzí s lineárními gramatikami. Součástí této práce je potom také porovnání alternujících skákajících automatů s Watson-Crick automaty, ukázka rozdílného přístupu obou těchto modelů k detekci struktury DNA a koncept automatu kombinujícího jejich přednosti.	cs
dc.description.abstract	This thesis proposes alternating jumping automata and investigates some of their properties and expressive capabilities. These automata, like classical jumping ones, are characterized by the ability to process input strings discontinuously. After each single reading of symbols, they perform a jump to the farthest position in the input tape from the current position of the reading head and continue the computation from there. The default starting position of the reading head is the left edge of the input tape. The thesis demonstrates the effect of different initial configurations on the computational power of these automata and proves the equivalence of certain versions of them with linear grammars using newly introduced conversion algorithms. This thesis also includes a comparison of alternating jumping automata with Watson-Crick automata, a demonstration of the different approaches of these two models to DNA structure detection, and a concept of an automaton combining their benefits.	en
dc.description.mark	A	cs
dc.identifier.citation	NEJEDLÝ, D. Alternující skákající automaty a jejich aplikace [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2022.	cs
dc.identifier.other	145165	cs
dc.identifier.uri	http://hdl.handle.net/11012/207297
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é automaty	cs
dc.subject	alternující skákající konečné automaty	cs
dc.subject	lineární jazyky	cs
dc.subject	jednoduchá lineární gramatika	cs
dc.subject	Watson-Crick automaty	cs
dc.subject	detekce struktury DNA	cs
dc.subject	jumping finite automata	en
dc.subject	alternating jumping finite automata	en
dc.subject	linear languages	en
dc.subject	simple linear grammar	en
dc.subject	Watson-Crick automata	en
dc.subject	DNA structure detection	en
dc.title	Alternující skákající automaty a jejich aplikace	cs
dc.title.alternative	Alternating Jumping Automata and Their Applications	en
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:08	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	145165	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:41:05	en
sync.item.modts	2025.01.17 13:36:50	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

Alternující skákající automaty a jejich aplikace

Files

Original bundle

Collections