Abstract:Jumping automata are finite automata that read their input in a non-sequential manner, by allowing a reading head to "jump" between positions on the input, consuming a permutation of the input word. We argue that allowing the head to jump should incur some cost. To this end, we propose three quantitative semantics for jumping automata, whereby the jumps of the head in an accepting run define the cost of the run. The three semantics correspond to different interpretations of jumps: the absolute distance semantics counts the distance the head jumps, the reversal semantics counts the number of times the head changes direction, and the Hamming distance measures the number of letter-swaps the run makes.
We study these measures, with the main focus being the boundedness problem: given a jumping automaton, decide whether its (quantitative) languages is bounded by some given number k. We establish the decidability and complexity for this problem under several variants.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the cost quantification of "Jumping Automata" (JFAs). Specifically, the paper proposes three different cost - quantification semantics (absolute distance, number of reversals, and Hamming distance), aiming to evaluate the cost brought by the "jumping" of the read head during non - sequential input reading. These quantification semantics allow researchers to analyze and determine whether a given jumping automaton is bounded by a certain constant \( k \) on its accepted language, that is, whether there exists a constant \( k \) such that for all accepted words, their cost does not exceed \( k \).
### Main problems of the paper
1. **Introduction of cost - quantification semantics**:
- **Absolute Distance Semantics (ABS)**: Calculate the total distance traveled by the read head during the jumping process.
- **Reversal Semantics (REV)**: Calculate the number of times the read head changes direction.
- **Hamming Semantics (HAM)**: Calculate the minimum number of letter exchanges required for a word to be accepted.
2. **Boundedness problem**:
- Given a jumping automaton \( A \), determine whether it is bounded by a certain constant \( k \) under each semantics.
- Specifically, for each semantics \( \text{SEM} \in \{\text{ABS}, \text{HAM}, \text{REV}\} \), it is necessary to determine whether there exists a constant \( k \) such that for all words \( w \) accepted by \( A \), the cost \( A_{\text{SEM}}(w)\leq k \).
### Main contributions
- **Introduction of three quantification semantics**: ABS, REV, and HAM.
- **Research on the decidability of the boundedness problem**: It is proved that for all three semantics, the boundedness problem is decidable, and the complexity in different cases is analyzed.
- **Complexity analysis**: Provide complexity results in different variants, including the case where the constant \( k \) is fixed and the case where \( k \) is an input, as well as the case where the jumping language is the universal set.
### Related work
- The concept of jumping automata was first introduced in [19], but it contains some incorrect proofs.
- Many subsequent works [11, 12, 21, 10, 4] further studied the expressive power and algorithmic properties of jumping automata.
- The relationships with related models such as Parikh Automata and Symmetric Transducers were also explored.
### Paper structure
- **Section 2**: Preliminary definitions and background knowledge.
- **Section 3**: Introduction of three quantification semantics and their related decision problems.
- **Section 4 - 6**: Research on the boundedness problem under each semantics respectively.
- **Section 7**: Discussion on the mutual relationships between different semantics.
- **Section 8**: Propose some open problems.
Through these studies, the paper provides a new perspective for understanding and analyzing the behavior of jumping automata, especially when considering the cost of the read head jumping.