Abstract
The following universe problem for the equality sets is shown to be undecidable: given a weak coding h, and two morphisms g 1, g 2, where g 2 is periodic, determine whether or not h(E G(g 1, g 2)) = ∑+, where E G(g 1, g 2) consists of the solutions ω to the equation g 1(ω) = #g 2(ω) for a fixed letter #. The problem is trivially decidable, if instead of E G(g 1, g 2) the equality set E(g 1, g 2) (without a marker symbol #) is chosen.
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
B. Baker and R. Book, Reversal-bounded multipushdown machines, J. Comput. System Sci. 8 (1974), 315–332.
A. Ehrenfeucht, J. Karhumäki, and G. Rozenberg, The (generalized) Post Correspondence Problem with lists consisting of two words is decidable, Theoret. Comput. Sci. 21 (1982), 119–144.
S. A. Greibach, An infinite hierarchy of context-free languages, J. Assoc. Comput. Mach. 16 (1969), 91–106.
S.A. Greibach, Remarks on blind and partially blind one-way multicounter machines, Theoret. Comput. Sci. 7 (1978), 311–324.
V. Halava and T. Harju, Undecidability in integer weighted finite automata, Fund. Inform. 38 (1999), 189–200.
V. Halava, T. Harju, and M. Hirvensalo, Binary (generalized) Post Correspondence Problem, Tech. Report 357, Turku Centre for Computer Science, August 2000, to appear in Theoret. Comput. Sci.
T. Harju and J. Karhumäki, Morphisms, Handbook of Formal Languages (G. Rozenberg and A. Salomaa, eds.), vol. 1, Springer-Verlag, 1997.
T. Harju, J. Karhumäki, and D. Krob, Remarks on generalized Post Correspondence Problem, STACS’96, Lecture Notes in Comput. Sci., vol. 1046, Springer-Verlag, 1996, pp. 39–48.
O. H. Ibarra, Restricted one-counter machines with undecidable universe problems, Math. Systems Theory 13 (1979), 181–186.
Y. Matiyasevich and G. Sénizergues, Decision problems for semi-Thue systems with a few rules, Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science (New Brunswick, New Jersey), IEEE Computer Society Press, 27–30 July 1996, pp. 523–531.
E. Post, A variant of a recursively unsolvable problem, Bulletin of Amer. Math. Soc. 52 (1946), 264–268.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Halava, V., Harju, T. (2002). An Undecidability Result Concerning Periodic Morphisms. In: Kuich, W., Rozenberg, G., Salomaa, A. (eds) Developments in Language Theory. DLT 2001. Lecture Notes in Computer Science, vol 2295. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46011-X_26
Download citation
DOI: https://doi.org/10.1007/3-540-46011-X_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43453-5
Online ISBN: 978-3-540-46011-4
eBook Packages: Springer Book Archive