Publication detail

On Double-Jumping Finite Automata and Their Closure Properties

KOCMAN, R. KŘIVKA, Z. MEDUNA, A.

Original Title

On Double-Jumping Finite Automata and Their Closure Properties

Type

journal article in Web of Science

Language

English

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

Keywords

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

Authors

KOCMAN, R.; KŘIVKA, Z.; MEDUNA, A.

Released

1. 4. 2018

ISBN

0988-3754

Periodical

RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS

Year of study

52

Number

2

State

French Republic

Pages from

185

Pages to

199

Pages count

15

URL

https://www.rairo-ita.org/articles/ita/abs/2018/02/ita180059/ita180059.html

BibTex

@article{BUT155797,
  author="Radim {Kocman} and Zbyněk {Křivka} and Alexandr {Meduna}",
  title="On Double-Jumping Finite Automata and Their Closure Properties",
  journal="RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS",
  year="2018",
  volume="52",
  number="2",
  pages="185--199",
  doi="10.1051/ita/2018013",
  issn="0988-3754",
  url="https://www.rairo-ita.org/articles/ita/abs/2018/02/ita180059/ita180059.html"
}

Documents

ita180059.pdf
double-jfa-ext.pdf