Geodesic
On double-jumping finite automata and their closure properties
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 52 (2018) no. 2-3-4, pp. 185-199

Voir la notice de l'article provenant de la source Numdam

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.

Reçu le :
DOI : 10.1051/ita/2018013
Classification : 68Q45, 68Q70
Keywords: Discontinuous and parallel tape reading, general jumping finite automata, even-length languages, left and right jumps

Kocman, Radim 1 ; Křivka, Zbyněk 1 ; Meduna, Alexander 1

1 
@article{ITA_2018__52_2-3-4_185_0,
     author = {Kocman, Radim and K\v{r}ivka, Zbyn\v{e}k and Meduna, Alexander},
     editor = {Bordihn, Henning and Nagy, Benedek and Vaszil, Gy\"orgy},
     title = {On double-jumping finite automata and their closure properties},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {185--199},
     publisher = {EDP-Sciences},
     volume = {52},
     number = {2-3-4},
     year = {2018},
     doi = {10.1051/ita/2018013},
     mrnumber = {3915307},
     zbl = {1423.68258},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1051/ita/2018013/}
}
TY  - JOUR
AU  - Kocman, Radim
AU  - Křivka, Zbyněk
AU  - Meduna, Alexander
ED  - Bordihn, Henning
ED  - Nagy, Benedek
ED  - Vaszil, György
TI  - On double-jumping finite automata and their closure properties
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2018
SP  - 185
EP  - 199
VL  - 52
IS  - 2-3-4
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/articles/10.1051/ita/2018013/
DO  - 10.1051/ita/2018013
LA  - en
ID  - ITA_2018__52_2-3-4_185_0
ER  - 
%0 Journal Article
%A Kocman, Radim
%A Křivka, Zbyněk
%A Meduna, Alexander
%E Bordihn, Henning
%E Nagy, Benedek
%E Vaszil, György
%T On double-jumping finite automata and their closure properties
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2018
%P 185-199
%V 52
%N 2-3-4
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/articles/10.1051/ita/2018013/
%R 10.1051/ita/2018013
%G en
%F ITA_2018__52_2-3-4_185_0
Kocman, Radim; Křivka, Zbyněk; Meduna, Alexander. On double-jumping finite automata and their closure properties. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 52 (2018) no. 2-3-4, pp. 185-199. doi: 10.1051/ita/2018013

Cité par Sources :