{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T09:29:11Z","timestamp":1664011751917},"reference-count":16,"publisher":"EDP Sciences","issue":"2-3-4","license":[{"start":{"date-parts":[[2019,1,17]],"date-time":"2019-01-17T00:00:00Z","timestamp":1547683200000},"content-version":"vor","delay-in-days":291,"URL":"https:\/\/www.edpsciences.org\/en\/authors\/copyright-and-licensing"}],"funder":[{"name":"The Ministry of Education, Youth and Sports of the Czech Republic","award":["NPU II"],"award-info":[{"award-number":["NPU II"]}]},{"name":"IT4Innovations","award":["LQ1602"],"award-info":[{"award-number":["LQ1602"]}]},{"name":"TA\u010cR","award":["TE01020415"],"award-info":[{"award-number":["TE01020415"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[2018,4]]},"abstract":"<jats:p>The present paper modifies and studies jumping finite automata so they always perform two simultaneous jumps according to the same rule. For either of the two simultaneous jumps, it considers three natural directions \u2013 (1) to the left, (2) to the right, and (3) in either direction. According to this jumping-direction three-part classification, the paper investigates the mutual relation between the language families resulting from jumping finite automata performing the jumps in these ways and the families of regular, linear, context-free, and context-sensitive languages. It demonstrates that most of these language families are pairwise incomparable. In addition, many closure and non-closure properties of the resulting language families are established.<\/jats:p>","DOI":"10.1051\/ita\/2018013","type":"journal-article","created":{"date-parts":[[2019,1,17]],"date-time":"2019-01-17T09:07:07Z","timestamp":1547716027000},"page":"185-199","source":"Crossref","is-referenced-by-count":2,"title":["On double-jumping finite automata and their closure properties"],"prefix":"10.1051","volume":"52","author":[{"given":"Radim","family":"Kocman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zbyn\u011bk","family":"K\u0159ivka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Meduna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"250","published-online":{"date-parts":[[2019,1,17]]},"reference":[{"key":"R1","unstructured":"Chigahara H., \nFazekas S.Z. and \nYamamura A., \nOne-way jumping finite automata, in \nThe 77th Nat. Convention of IPSJ. \n(2015)"},{"key":"R2","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/j.tcs.2016.07.006","volume":"679","author":"Fernau","year":"2017","journal-title":"Theor. Comput. Sci."},{"key":"R3","doi-asserted-by":"crossref","unstructured":"Kocman R. and \nMeduna A., On parallel versions of jumping finite automata, in \nProc. ofthe 2015 Federated Conference on Software Development and Object Technologies (SDOT 2015). Vol. 511 of Advances in Intelligent Systems and Computing. \nSpringer, Cham 2016 142\u2013149","DOI":"10.1007\/978-3-319-46535-7_12"},{"key":"R4","first-page":"117","volume":"332","author":"Kocman","year":"2018","journal-title":"10th Workshop on Non-Classical Models of Automata and Applications (NCMA 2018)"},{"key":"R5","doi-asserted-by":"crossref","first-page":"709","DOI":"10.1142\/S0129054115500409","volume":"26","author":"K\u0159ivka","year":"2015","journal-title":"Int. J. Found. Comput. Sci."},{"key":"R6","doi-asserted-by":"crossref","unstructured":"Meduna A., \nAutomata and Languages: Theory and Applications \nSpringer, London \n(2000)","DOI":"10.1007\/978-1-4471-0501-5"},{"key":"R7","doi-asserted-by":"crossref","first-page":"51","DOI":"10.3233\/FI-2017-1512","volume":"152","author":"Meduna","year":"2017","journal-title":"Fundam. Inf."},{"key":"R8","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1142\/S0129054112500244","volume":"23","author":"Meduna","year":"2012","journal-title":"Int. J. Found. Comput. Sci."},{"key":"R9","unstructured":"Nagy B., On 5\u2032\u2192 3\u2032 sensing watson-crick finite automata, in \nDNA Computing: 13th International Meeting on DNA Computing (DNA13). Vol. 4848 of Lect. Notes Sci. \nSpringer, \nBerlin, Heidelberg \n(2008) 256\u2013262"},{"key":"R10","unstructured":"Nagy B., \n5\u2032\u2192 3\u2032 sensing watson-crick finite automata, in Sequence and Genome Analysis II \u2013 Methods and Applications, edited by \nFung G.. \niConcept"},{"key":"R11","unstructured":"Nagy B., \nA class of 2-head finite automata for linear languages. \nTriangle 8 (Lang.: Math. Approaches) \n(2012) 89\u201399"},{"key":"R12","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1093\/logcom\/exr049","volume":"23","author":"Nagy","year":"2013","journal-title":"J. Logic Comput."},{"key":"R13","doi-asserted-by":"crossref","unstructured":"Rozenberg G. and \nSalomaa A., Handbook of Formal Languages. \nVol. 2 of Linear Modeling: Background and Application. \nSpringer-Verlag, \nBerlin, Heidelberg \n(1997)","DOI":"10.1007\/978-3-662-07675-0"},{"key":"R14","doi-asserted-by":"crossref","unstructured":"Vorel V., Two results on discontinuous input processing, in Descriptional Complexity of Formal Systems (DCFS 2016). Vol. 9777of \nLect. Notes Sci. \nSpringer, Cham \n(2016) 205\u2013216","DOI":"10.1007\/978-3-319-41114-9_16"},{"key":"R15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1142\/S0129054118500016","volume":"29","author":"Vorel","year":"2018","journal-title":"Int. J. Found. Comput. Sci."},{"key":"R16","unstructured":"Wood D., Theory of Computation: A Primer. \nAddison-Wesley, \nBoston \n(1987)"}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"https:\/\/www.rairo-ita.org\/10.1051\/ita\/2018013\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,19]],"date-time":"2020-03-19T17:02:11Z","timestamp":1584637331000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.rairo-ita.org\/10.1051\/ita\/2018013"}},"subtitle":[],"editor":[{"given":"Henning","family":"Bordihn","sequence":"first","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Benedek","family":"Nagy","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Gy\u00f6rgy","family":"Vaszil","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2018,4]]},"references-count":16,"journal-issue":{"issue":"2-3-4"},"alternative-id":["ita180059"],"URL":"https:\/\/doi.org\/10.1051\/ita\/2018013","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,4]]}}}