We study the sweep complexity of DFA in one-way jumping mode answering several questions posed earlier. This measure is the number of times in the worst case that such machines have to return to the beginning of their input after having skipped some of the symbols. The class of languages accepted by these machines strictly includes the regular class and constant sweep complexity allows exactly the acceptance of regular languages. However, we show that there exist machines with higher than constant complexity still only accepting regular languages and that in general the sweep complexity of an automaton does not distinguish between accepting regular and non-regular languages. We establish separation results for asymptotic classes defined by this complexity measure and give a surprising exponential/logarithmic relation between factors of certain inputs which can be verified by such machines.
Funding
JSPS KAKENHI Grant Number JP23K10976
History
School
Science
Department
Computer Science
Published in
Implementation and Application of Automata: 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023, Proceedings
Pages
116 - 127
Source
International Conference on Implementation and Application of Automata (CIAA 2023)
This conference paper was accepted for publication in the book Implementation and Application of Automata: 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023, Proceedings. The definitive published version is available at: https://doi.org/10.1007/978-3-031-40247-0_8