Characterization and Complexity Results on Jumping Finite Automata
Formal Languages and Automata Theory
2015-12-03 v1 Computational Complexity
Abstract
In a jumping finite automaton, the input head can jump to an arbitrary position within the remaining input after reading and consuming a symbol. We characterize the corresponding class of languages in terms of special shuffle expressions and survey other equivalent notions from the existing literature. Moreover, we present several results concerning computational hardness and algorithms for parsing and other basic tasks concerning jumping finite automata.
Keywords
Cite
@article{arxiv.1512.00482,
title = {Characterization and Complexity Results on Jumping Finite Automata},
author = {Henning Fernau and Meenakshi Paramasivan and Markus L. Schmid and Vojtěch Vorel},
journal= {arXiv preprint arXiv:1512.00482},
year = {2015}
}