English

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 n2n \geqslant 2, the maximum length of the shortest string accepted by an nn-state direction-determinate two-way finite automaton is exactly (nn2)1\binom{n}{\lfloor\frac{n}{2}\rfloor}-1 (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 nn-state automata with shortest accepted strings of length 342n1\frac{3}{4} \cdot 2^n - 1 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