Reversal Hierarchies for Small 2DFAs
A two-way deterministic finite automaton with r(n) reversals performs ≤ r (n) input head reversals on every n-long input. Let 2D[r(n)] be all families of problems solvable by such automata of size polynomial in the index of the family. Then the reversal hierarchy 2D ⊆ 2D ⊆ 2D ⊆ ⋯ is strict, but 2D[O(1)] = 2D[o(n)]. Moreover, the inner-reversal hierarchy 2D(0) ⊆ 2D(1) ⊆ 2D(2) ⊆ ⋯ , where now the bound is only for reversals strictly between the input end-markers, is also strict.
KeywordsState Component Positive Instance Full Computation Size Polynomial Generic String
Unable to display preview. Download preview PDF.
- 4.Kapoutsis, C.: Nondeterminism is essential in small two-way finite automata with few reversals. Information and Computation (to appear)Google Scholar
- 7.Meyer, A.R., Fischer, M.J.: Economy of description by automata, grammars, and formal systems. In: Proceedings of FOCS, pp. 188–191 (1971)Google Scholar
- 8.Sakoda, W.J., Sipser, M.: Nondeterminism and the size of two-way finite automata. In: Proceedings of STOC, pp. 275–286 (1978)Google Scholar