The maximum length of shortest accepted strings for direction-determinate two-way finite automata
Formal Languages and Automata Theory
2022-10-04 v1
Abstract
It is shown that, for every , the maximum length of the shortest string accepted by an -state direction-determinate two-way finite automaton is exactly (direction-determinate automata are those that always remember in the current state whether the last move was to the left or to the right). For two-way finite automata of the general form, a family of -state automata with shortest accepted strings of length is constructed.
Keywords
Cite
@article{arxiv.2210.00235,
title = {The maximum length of shortest accepted strings for direction-determinate two-way finite automata},
author = {Olga Martynova and Alexander Okhotin},
journal= {arXiv preprint arXiv:2210.00235},
year = {2022}
}
Comments
14 pages, 8 figures