Abstract
We prove that the tight bound on the state complexity of the boundary of regular languages, defined as bd\((L)=L^* \cap ( \, \overline{L} \, )^*\), is 22n − 2 + 22n − 3 + 2n − 2 + 2 − 2·3n − 2 − n. Our witness languages are described over a five-letter alphabet. For a four-letter alphabet, the lower bound is smaller by just one, and we conjecture that the upper bound cannot be met in the quaternary case.
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
Brzozowski, J.A., Grant, E., Shallit, J.: Closures in formal languages and Kuratowski’s theorem. Int. J. Found. Comput. Sci. 22, 301–321 (2011)
Fife, J.H.: The Kuratowski closure-complement problem. Math. Mag. 64, 180–182 (1991)
Jirásková, G., Shallit, J.: The state complexity of star-complement-star. In: Yen, H.-C., Ibarra, O.H. (eds.) DLT 2012. LNCS, vol. 7410, pp. 380–391. Springer, Heidelberg (2012)
Kuratowski, C.: Sur l’opération \(\overline{A}\) de l’analysis situs. Fund. Math. 3, 182–199 (1922)
Maslov, A.N.: Estimates of the number of states of finite automata. Soviet Math. Dokl. 11, 1373–1375 (1970)
Rabin, M., Scott, D.: Finite automata and their decision problems. IBM Res. Develop. 3, 114–129 (1959)
Salomaa, A., Salomaa, K., Yu, S.: State complexity of combined operations. Theoret. Comput. Sci. 383, 140–152 (2007)
Shallit, J.: Open problems in automata theory and formal languages, https://cs.uwaterloo.ca/~shallit/Talks/open10r.pdf
Shallit, J.: The state complexity of \((\overline{L^*})^*\) and \(L^*\cap (\overline{L})^*\). Personal Communication (2010)
Sipser, M.: Introduction to the theory of computation. PWS Publishing Company, Boston (1997)
Yu, S.: Regular languages. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol. I, ch. 2, pp. 41–110. Springer, Heidelberg (1997)
Yu, S., Zhuang, Q., Salomaa, K.: The state complexity of some basic operations on regular languages. Theoret. Comput. Sci. 125, 315–328 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jirásek, J., Jirásková, G. (2013). On the Boundary of Regular Languages. In: Konstantinidis, S. (eds) Implementation and Application of Automata. CIAA 2013. Lecture Notes in Computer Science, vol 7982. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39274-0_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-39274-0_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39273-3
Online ISBN: 978-3-642-39274-0
eBook Packages: Computer ScienceComputer Science (R0)