Limited Automata and Regular Languages

  • Giovanni Pighizzini
  • Andrea Pisoni
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8031)

Abstract

Limited automata are one-tape Turing machines that are allowed to rewrite the content of any tape cell only in the first d visits, for a fixed constant d. In the case d = 1, namely, when a rewriting is possible only during the first visit to a cell, these models have the same power of finite state automata. We prove state upper and lower bounds for the conversion of 1-limited automata into finite state automata. In particular, we prove a double exponential state gap between nondeterministic 1-limited automata and one-way deterministic finite automata. The gap reduces to single exponential in the case of deterministic 1-limited automata. This also implies an exponential state gap between nondeterministic and deterministic 1-limited automata. Another consequence is that 1-limited automata can have less states than equivalent two-way nondeterministic finite automata. We show that this is true even if we restrict to the case of the one-letter input alphabet. For each d ≥ 2, d-limited automata are known to characterize the class of context-free languages. Using the Chomsky-Schützenberger representation for context-free languages, we present a new conversion from context-free languages into 2-limited automata.

Keywords

finite automata formal languages Turing machines regular languages context-free languages descriptional complexity 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Birget, J.C.: Intersection and union of regular languages and state complexity. Information Processing Letters 43(4), 185–190 (1992)MathSciNetMATHCrossRefGoogle Scholar
  2. 2.
    Chomsky, N., Schützenberger, M.: The algebraic theory of context-free languages. In: Braffort, P., Hirschberg, D. (eds.) Computer Programming and Formal Systems, Studies in Logic and the Foundations of Mathematics, vol. 35, pp. 118–161. Elsevier (1963)Google Scholar
  3. 3.
    Chrobak, M.: Finite automata and unary languages. Theor. Comput. Sci. 47(3), 149–158 (1986); Errata: ibid 302(1-3), 497–498 (2003)Google Scholar
  4. 4.
    Hennie, F.C.: One-tape, off-line Turing machine computations. Information and Control 8(6), 553–578 (1965)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Hibbard, T.N.: A generalization of context-free determinism. Information and Control 11(1/2), 196–238 (1967)MathSciNetMATHCrossRefGoogle Scholar
  6. 6.
    Holzer, M., Kutrib, M.: Descriptional and computational complexity of finite automata - a survey. Inf. Comput. 209(3), 456–470 (2011)MathSciNetMATHCrossRefGoogle Scholar
  7. 7.
    Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley (1979)Google Scholar
  8. 8.
    Mereghetti, C., Pighizzini, G.: Two-way automata simulations and unary languages. Journal of Automata, Languages and Combinatorics 5(3), 287–300 (2000)MathSciNetMATHGoogle Scholar
  9. 9.
    Mereghetti, C., Pighizzini, G.: Optimal simulations between unary automata. SIAM J. Comput. 30(6), 1976–1992 (2001)MathSciNetMATHCrossRefGoogle Scholar
  10. 10.
    Okhotin, A.: Non-erasing variants of the Chomsky-Schützenberger Theorem. In: Yen, H.-C., Ibarra, O.H. (eds.) DLT 2012. LNCS, vol. 7410, pp. 121–129. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  11. 11.
    Pighizzini, G.: Nondeterministic one-tape off-line Turing machines. Journal of Automata, Languages and Combinatorics 14(1), 107–124 (2009)MathSciNetMATHGoogle Scholar
  12. 12.
    Sakoda, W.J., Sipser, M.: Nondeterminism and the size of two-way finite automata. In: Lipton, R.J., Burkhard, W.A., Savitch, W.J., Friedman, E.P., Aho, A.V. (eds.) STOC, pp. 275–286. ACM (1978)Google Scholar
  13. 13.
    Shallit, J.O.: A Second Course in Formal Languages and Automata Theory. Cambridge University Press (2008)Google Scholar
  14. 14.
    Shepherdson, J.C.: The reduction of two-way automata to one-way automata. IBM J. Res. Dev. 3(2), 198–200 (1959)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Wagner, K.W., Wechsung, G.: Computational Complexity. D. Reidel Publishing Company, Dordrecht (1986)Google Scholar
  16. 16.
    Yu, S.: State complexity of regular languages. Journal of Automata, Languages and Combinatorics 6(2), 221–234 (2001)MathSciNetMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Giovanni Pighizzini
    • 1
  • Andrea Pisoni
    • 1
  1. 1.Dipartimento di InformaticaUniversità degli Studi di MilanoItaly

Personalised recommendations