加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本