Abstract
We investigate the boundary operation on the class of prefix-free regular languages. We show that if a prefix-free language is recognized by a deterministic finite automaton of n states, then its boundary is recognized by a deterministic automaton of at most \((n-1)\cdot 2^{n-4}+n+1\) states. We prove that this bound is tight, and to describe worst-case examples, we use a three-letter alphabet. Next we show that the tight bound for boundary on binary prefix-free languages is \(2n-2\), and that in the unary case, the tight bound is \(n-2\).
J. Jirásek—Research supported by VEGA grant 1/0142/15.
G. Jirásková—Research supported by VEGA grant 2/0084/15.
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. Internat. J. Found. Comput. Sci. 22(2), 301–321 (2011)
Eom, H.-S., Han, Y.-S., Salomaa, K.: State Complexity of k-Union and k-Intersection for Prefix-Free Regular Languages. In: Jurgensen, H., Reis, R. (eds.) DCFS 2013. LNCS, vol. 8031, pp. 78–89. Springer, Heidelberg (2013)
Eom, H., Han, Y., Salomaa, K., Yu, S.: State complexity of combined operations for prefix-free regular languages. In: Paun, G., Rozenberg, G., Salomaa, A. (eds.) Discrete Mathematics and Computer Science, pp. 137–151 (2014)
Han, Y., Salomaa, K., Wood, D.: Nondeterministic state complexity of basic operations for prefix-free regular languages. Fundam. Inform. 90(1–2), 93–106 (2009)
Han, Y., Salomaa, K., Wood, D.: Operational state complexity of prefix-free regular languages. In: Ésik, Z., Fülöp, Z. (eds.) Automata, Formal Languages, and Related Topics, pp. 99–115. University of Szeged, Hungary, Institute of Informatics (2009)
Jirásek, J., Jirásková, G.: On the boundary of regular languages. Theoret. Comput. Sci. 578, 42–57 (2015)
Maslov, A.: Estimates of the number of states of finite automata. Soviet Mathematics Doklady 11, 1373–1375 (1970)
Salomaa, A., Salomaa, K., Yu, S.: State complexity of combined operations. Theoret. Comput. Sci. 383(2–3), 140–152 (2007)
Shallit, J.: Open problems in automata theory and formal languages. https://cs.uwaterloo.ca/shallit/Talks/open10r.pdf
Sipser, M.: Introduction to the theory of computation. PWS Publishing Company, Boston (1997)
Yu, S., Zhuang, Q., Salomaa, K.: The state complexities of some basic operations on regular languages. Theoret. Comput. Sci. 125(2), 315–328 (1994)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Jirásek , J., Jirásková, G. (2015). The Boundary of Prefix-Free Languages. In: Potapov, I. (eds) Developments in Language Theory. DLT 2015. Lecture Notes in Computer Science(), vol 9168. Springer, Cham. https://doi.org/10.1007/978-3-319-21500-6_24
Download citation
DOI: https://doi.org/10.1007/978-3-319-21500-6_24
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-21499-3
Online ISBN: 978-3-319-21500-6
eBook Packages: Computer ScienceComputer Science (R0)