Abstract
We reformulate the classical result by Juhani Karhumäki characterizing intersections of two languages of the form \(\{x,y\}^*\cap \{u,v\}^*\). We use the terminology of morphisms which allows to formulate the result in a shorter and more transparent way.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Choffrut, C., Karhumäki, J.: Combinatorics of words. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, pp. 329–438. Springer, Heidelberg (1997). https://doi.org/10.1007/978-3-642-59136-5_6
Ehrenfeucht, A., Karhumäki, J., Rozenberg, G.: The (generalized) Post correspondence problem with lists consisting of two words is decidable. Theoret. Comput. Sci. 21(2), 119–144 (1982). https://doi.org/10.1016/0304-3975(89)90080-7
Halava, V., Harju, T., Hirvensalo, M.: Binary (generalized) Post correspondence problem. Theoret. Comput. Sci. 276(1–2), 183–204 (2002). https://doi.org/10.1016/S0304-3975(01)00157-8
Halava, V., Holub, Š.: Reduction tree of the binary generalized Post correspondence problem. Int. J. Found. Comput. Sci. 22(2), 473–490 (2011). https://doi.org/10.1142/S0129054111008143
Holub, Š.: Binary equality sets are generated by two words. J. Algebra 259(1), 1–42 (2003). https://doi.org/10.1016/S0021-8693(02)00534-3
Karhumäki, J.: A note on intersections of free submonoids of a free monoid. Semigroup Forum 29(1), 183–205 (1984). https://doi.org/10.1007/BF02573324
Lothaire, M.: Combinatorics on words. Cambridge Mathematical Library, Cambridge University Press, Cambridge (1997). https://doi.org/10.1017/CBO9780511566097
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Holub, Š. (2019). Binary Intersection Revisited. In: Mercaş, R., Reidenbach, D. (eds) Combinatorics on Words. WORDS 2019. Lecture Notes in Computer Science(), vol 11682. Springer, Cham. https://doi.org/10.1007/978-3-030-28796-2_17
Download citation
DOI: https://doi.org/10.1007/978-3-030-28796-2_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-28795-5
Online ISBN: 978-3-030-28796-2
eBook Packages: Computer ScienceComputer Science (R0)