Advertisement

On Computational Complexity of Set Automata

  • Alexander A. RubtsovEmail author
  • Mikhail N. Vyalyi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10396)

Abstract

We consider a computational model which is known as set automata. The set automata are one-way finite automata with an additional storage—the set. There are two kinds of set automata—the deterministic and the nondeterministic ones. We denote them as DSA and NSA respectively. The model was introduced by M. Kutrib, A. Malcher, M. Wendlandt in 2014 in [3, 4]. It was shown that DSA-languages look similar to DCFL due to their closure properties and NSA-languages look similar to CFL due to their undecidability properties.

In this paper we show that this similarity is natural: we prove that languages recognizable by NSA form a rational cone, so as CFL. The main topic of this paper is computational complexity: we prove that languages recognizable by DSA belong to \({\mathbf {P}}\), and the word membership problem is \({\mathbf {P}}\)-complete for DSA without \(\varepsilon \)-loops; languages recognizable by NSA are in \({\mathbf {NP}}\), and there are \({\mathbf {NP}}\)-complete languages among them. Also we prove that the emptiness problem is \({\mathbf {PSPACE}}\)-hard for DSA.

Keywords

Set automata Automata theory Formal languages Rational cone Computational complexity Membership problem 

Notes

Acknowledgements

We thank Dmitry Chistikov for the feedback and discussion of the text’s results and suggestion for improvements and anonymous referees for helpful comments.

References

  1. 1.
    Anderson, T., Loftus, J., Rampersad, N., Santean, N., Shallit, J.: Special issue: LATA 2008 detecting palindromes, patterns and borders in regular languages. Inf. Comput. 207(11), 1096–1118 (2009)CrossRefzbMATHGoogle Scholar
  2. 2.
    Berstel, J.: Transductions and Context-Free Languages. Teubner, Stuttgart (1979)CrossRefzbMATHGoogle Scholar
  3. 3.
    Kutrib, M., Malcher, A., Wendlandt, M.: Deterministic set automata. In: Shur, A.M., Volkov, M.V. (eds.) DLT 2014. LNCS, vol. 8633, pp. 303–314. Springer, Cham (2014). doi: 10.1007/978-3-319-09698-8_27 Google Scholar
  4. 4.
    Kutrib, M., Malcher, A., Wendlandt, M.: Regularity and size of set automata. In: Jürgensen, H., Karhumäki, J., Okhotin, A. (eds.) DCFS 2014. LNCS, vol. 8614, pp. 282–293. Springer, Cham (2014). doi: 10.1007/978-3-319-09704-6_25 Google Scholar
  5. 5.
    Kutrib, M., Malcher, A., Wendlandt, M.: Set automata. Int. J. Found. Comput. Sci. 27(02), 187–214 (2016)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Ladner, R.E.: The circuit value problem is log space complete for P. SIGACT News 7(1), 18–20 (1975)CrossRefGoogle Scholar
  7. 7.
    Lange, K.J., Reinhardt, K.: Set automata. In: Combinatorics, Complexity and Logic, Proceedings of the DMTCS 1996. pp. 321–329. Springer (1996)Google Scholar
  8. 8.
    Rubtsov, A.A., Vyalyi, M.N.: On computational complexity of Set Automata. ArXiv e-prints https://arxiv.org/pdf/1704.03730, April 2017
  9. 9.
    Rubtsov, A., Vyalyi, M.: Regular realizability problems and context-free languages. In: Shallit, J., Okhotin, A. (eds.) DCFS 2015. LNCS, vol. 9118, pp. 256–267. Springer, Cham (2015). doi: 10.1007/978-3-319-19225-3_22 CrossRefGoogle Scholar
  10. 10.
    Vyalyi, M.N.: On the models of nondeterminizm for two-way automata. In: Proceedings of VIII International Conference on Discrete Models in the Theory of Control Systems, pp. 54–60 (2009). (in Russian)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.National Research University Higher School of EconomicsMoscowRussia
  2. 2.Moscow Institute of Physics and TechnologyDolgoprudnyRussia
  3. 3.Dorodnicyn Computing Centre, FRC CSC RASMoscowRussia

Personalised recommendations