Abstract
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[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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Balcerzak, M., Niwiński, D.: Two-way deterministic automata with two reversals are exponentially more succinct than with one reversal. Information Processing Letters 110, 396–398 (2010)
Geffert, V., Mereghetti, C., Pighizzini, G.: Complementing two-way finite automata. Information and Computation 205(8), 1173–1187 (2007)
Hromkovič, J.: Descriptional complexity of finite automata: concepts and open problems. Journal of Automata, Languages and Combinatorics 7(4), 519–531 (2002)
Kapoutsis, C.: Nondeterminism is essential in small two-way finite automata with few reversals. Information and Computation (to appear)
Kapoutsis, C.: Deterministic moles cannot solve liveness. Journal of Automata, Languages and Combinatorics 12(1-2), 215–235 (2007)
Kapoutsis, C., Královič, R., Mömke, T.: Size complexity of rotating and sweeping automata. Journal of Computer and System Sciences 78(2), 537–558 (2012)
Meyer, A.R., Fischer, M.J.: Economy of description by automata, grammars, and formal systems. In: Proceedings of FOCS, pp. 188–191 (1971)
Sakoda, W.J., Sipser, M.: Nondeterminism and the size of two-way finite automata. In: Proceedings of STOC, pp. 275–286 (1978)
Sipser, M.: Halting space-bounded computations. Theoretical Computer Science 10, 335–338 (1980)
Sipser, M.: Lower bounds on the size of sweeping automata. Journal of Computer and System Sciences 21(2), 195–202 (1980)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kapoutsis, C.A., Pighizzini, G. (2012). Reversal Hierarchies for Small 2DFAs. In: Rovan, B., Sassone, V., Widmayer, P. (eds) Mathematical Foundations of Computer Science 2012. MFCS 2012. Lecture Notes in Computer Science, vol 7464. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32589-2_49
Download citation
DOI: https://doi.org/10.1007/978-3-642-32589-2_49
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32588-5
Online ISBN: 978-3-642-32589-2
eBook Packages: Computer ScienceComputer Science (R0)