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.
Supported in part by RFBR grant 17–01–00300. The study has been funded by the Russian Academic Excellence Project ‘5–100’.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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)
Berstel, J.: Transductions and Context-Free Languages. Teubner, Stuttgart (1979)
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
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
Kutrib, M., Malcher, A., Wendlandt, M.: Set automata. Int. J. Found. Comput. Sci. 27(02), 187–214 (2016)
Ladner, R.E.: The circuit value problem is log space complete for P. SIGACT News 7(1), 18–20 (1975)
Lange, K.J., Reinhardt, K.: Set automata. In: Combinatorics, Complexity and Logic, Proceedings of the DMTCS 1996. pp. 321–329. Springer (1996)
Rubtsov, A.A., Vyalyi, M.N.: On computational complexity of Set Automata. ArXiv e-prints https://arxiv.org/pdf/1704.03730, April 2017
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
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)
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.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Rubtsov, A.A., Vyalyi, M.N. (2017). On Computational Complexity of Set Automata. In: Charlier, É., Leroy, J., Rigo, M. (eds) Developments in Language Theory. DLT 2017. Lecture Notes in Computer Science(), vol 10396. Springer, Cham. https://doi.org/10.1007/978-3-319-62809-7_25
Download citation
DOI: https://doi.org/10.1007/978-3-319-62809-7_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-62808-0
Online ISBN: 978-3-319-62809-7
eBook Packages: Computer ScienceComputer Science (R0)