Regularity and Size of Set Automata

  • Martin Kutrib
  • Andreas Malcher
  • Matthias Wendlandt
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8614)


The descriptional complexity of deterministic and nondeterministic set automata is investigated. Set automata are basically finite automata equipped with a set as an additional storage medium. The basic operations on the set are the insertion of elements, the removing of elements, and the test whether or not an element is in the set. We show that regularity is decidable for deterministic set automata and describe a conversion procedure into deterministic finite automata which leads to a double exponential upper bound. This bound is proved to be tight in the order of magnitude by presenting also a double exponential lower bound. In contrast to these recursive bounds we obtain non-recursive trade-offs when nondeterministic set automata are considered.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Geffert, V., Mereghetti, C., Palano, B.: More concise representation of regular languages by automata and regular expressions. Inf. Comput. 208, 385–394 (2010)CrossRefzbMATHMathSciNetGoogle Scholar
  2. 2.
    Goldstine, J., Kappes, M., Kintala, C.M.R., Leung, H., Malcher, A., Wotschke, D.: Descriptional complexity of machines with limited resources. J. UCS 8, 193–234 (2002)zbMATHMathSciNetGoogle Scholar
  3. 3.
    Hartmanis, J.: On the succinctness of different representations of languages. SIAM J. Comput. 9, 114–120 (1980)CrossRefzbMATHMathSciNetGoogle Scholar
  4. 4.
    Holzer, M., Kutrib, M.: Descriptional complexity – An introductory survey. In: Martín-Vide, C. (ed.) Scientific Applications of Language Methods, pp. 1–58. Imperial College Press (2010)Google Scholar
  5. 5.
    Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)zbMATHGoogle Scholar
  6. 6.
    Kutrib, M., Malcher, A., Wendlandt, M.: Deterministic set automata. In: Developments in Language Theory (DLT 2014). LNCS. Springer (2014)Google Scholar
  7. 7.
    Meyer, A.R., Fischer, M.J.: Economy of description by automata, grammars, and formal systems. In: Symposium on Switching and Automata Theory (SWAT 1971), pp. 188–191. IEEE (1971)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Martin Kutrib
    • 1
  • Andreas Malcher
    • 1
  • Matthias Wendlandt
    • 1
  1. 1.Institut für InformatikUniversität GiessenGiessenGermany

Personalised recommendations