Result Details

On Double-Jumping Finite Automata

KOCMAN, R.; KŘIVKA, Z.; MEDUNA, A. On Double-Jumping Finite Automata. Eighth Workshop on Non-Classical Models of Automata and Applications (NCMA 2016). books@ocg.at 321. Wien: Austrian Computer Society, 2016. p. 195-210. ISBN: 978-3-903035-10-2.
Type
conference paper
Language
English
Authors
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---that is, they are not subfamilies of each other and, simultaneously, they are not disjoint.

Keywords

generalized jumping finite automata, parallel right jumps, parallel left jumps

Published
2016
Pages
195–210
Proceedings
Eighth Workshop on Non-Classical Models of Automata and Applications (NCMA 2016)
Series
books@ocg.at 321
Conference
8th Workshop on Non-Classical Models of Automata and Applications (NCMA)
ISBN
978-3-903035-10-2
Publisher
Austrian Computer Society
Place
Wien
BibTeX
@inproceedings{BUT130982,
  author="Radim {Kocman} and Zbyněk {Křivka} and Alexandr {Meduna}",
  title="On Double-Jumping Finite Automata",
  booktitle="Eighth Workshop on Non-Classical Models of Automata and Applications (NCMA 2016)",
  year="2016",
  series="books@ocg.at 321",
  pages="195--210",
  publisher="Austrian Computer Society",
  address="Wien",
  isbn="978-3-903035-10-2",
  url="https://www.fit.vut.cz/research/publication/11179/"
}
Files
Projects
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, start: 2016-01-01, end: 2020-12-31, completed
V3C - Visual Computing Competence Center, TAČR, Centra kompetence, TE01020415, start: 2012-05-01, end: 2019-12-31, completed
Výzkum pokročilých metod ICT a jejich aplikace, BUT, Vnitřní projekty VUT, FIT-S-14-2299, start: 2014-01-01, end: 2016-12-31, completed
Research groups
Departments
Back to top