Publication Details

On Double-Jumping Finite Automata and Their Closure Properties

KOCMAN Radim, KŘIVKA Zbyněk and MEDUNA Alexander. On Double-Jumping Finite Automata and Their Closure Properties. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, vol. 52, no. 2, 2018, pp. 185-199. ISSN 0988-3754. Available from: https://www.rairo-ita.org/articles/ita/abs/2018/02/ita180059/ita180059.html
Czech title
O dvojskokých konečných automatech a jejich uzávěrových vlastnostech
Type
journal article
Language
english
Authors
URL
Keywords

discontinuous and parallel tape reading, general jumping finite automata, even-length languages, left and right jumps

Abstract

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---(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.

Published
2018
Pages
185-199
Journal
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, vol. 52, no. 2, ISSN 0988-3754
Publisher
EDP Sciences
DOI
UT WoS
000459294200007
EID Scopus
BibTeX
@ARTICLE{FITPUB11313,
   author = "Radim Kocman and Zbyn\v{e}k K\v{r}ivka and Alexander Meduna",
   title = "On Double-Jumping Finite Automata and Their Closure Properties",
   pages = "185--199",
   journal = "RAIRO - Theoretical Informatics and Applications - Informatique Th\'{e}orique et Applications",
   volume = 52,
   number = 2,
   year = 2018,
   ISSN = "0988-3754",
   doi = "10.1051/ita/2018013",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11313"
}
Back to top