A two-way deterministic finite automaton with r(n) reversals performs ≤ (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[0] ⊆ 2D[1] ⊆ 2D[2] ⊆ ⋯ 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. © 2012 Springer-Verlag.
CITATION STYLE
Kapoutsis, C. A., & Pighizzini, G. (2012). Reversal hierarchies for small 2DFAs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7464 LNCS, pp. 554–565). https://doi.org/10.1007/978-3-642-32589-2_49
Mendeley helps you to discover research relevant for your work.