Demonstrace skákajících automatů

Loading...
Thumbnail Image
Date
ORCID
Mark
D
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
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.
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.
Description
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.
Document type
Document version
Date of access to the full text
Language of document
cs
Study field
Informační technologie
Comittee
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)
Date of acceptance
2017-06-13
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?
Result of defence
práce byla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení
DOI
Collections
Citace PRO