On systems of word equations with simple loop sets

More documents

Recommendations

Info

PROOF. Let j ∈ {1, 2, . . .m} and γ be a factor of ψ(u 2 j ) of length |t| such that s = ϕ(γ) is not conjugate with t. From the structure of l k and l k+1 it is straightforward to see that |ϕ(l k )| s < |ϕ(l k+1 )| s . Let us now turn our attention to r k and r k+1 . Their structure clearly implies that the equality |ϕ(l k )| s = |ϕ(l k+1 )| s holds; the preimages of s have to hit either y 0 or y 1 , otherwise s is conjugate with t. We have achieved a contradiction, therefore for any j ∈ {1, 2, . . ., m} all factors of ϕ(u 2 j ) of length |t| are conjugate with t. Lemma 4 and the Periodicity Lemma conclude the proof. By the results above, the primitive roots of words u 1 , u 2 , . . .,u m are pairwise conjugate and, by Theorem 1, we are done. 6 Some open problems The following problem still remains open: Open Problem 1. Does there exist q ∈ N such that (for any m and n in N), the system S is equivalent to the subsystem induced by i = 0, 1, 2, . . ., q? We also wish to mention Open Problem 2. Is the system {u i 1 subsystem induced by i = 1, 2, 3? = v i 1 vi 2 · · ·vi n | i ∈ N} equivalent to the References [1] K. I. Appel and F. M. Djorup, On the equation z n 1 zn 2 · · · zn k = yn in a free semigroup. Trans. Amer. Math. Soc. 134 (1968), 461–470. [2] M. H. Albert and J. Lawrence, A proof of Ehrenfeucht‘s Conjecture. Theoret. Comput. Sci. 41 (1985), 121–123. [3] N.J. Fine and H.S. Wilf, Uniqueness theorem for periodic functions. Proc. Amer. Math. Soc. 16 (1965), 109–114. [4] V.S. Guba, Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems, Mat. Zametki 40 (1986), 321-324. [5] I. Hakala and J. Kortelainen, On the system of word equations x 0 u i 1 x 1u i 2 x 2u i 3 x 3 = y 0 v i 1 yi 1 vi 2 y 2v i 3 y 3 (i = 0,1,2,... ) in a free monoid. Theoret. Comput. Sci. 225 (1999), 149–161. 14
[6] T. Harju, D. Nowotka, On the Equation x k = z k 1 1 zk 2 2 ...zkn n TUCS Tecnical report 602, 2004. in a free semigroup. [7] Š. Holub, Local and global cyclicity in free semigroups. Theoret. Comput. Sci. 262 (2001), 25–36. [8] V. Keränen, On the k-freeness of morphisms on free monoids. Ann. Acad. Sci. Fenn. Math. Diss. 61, 1986. [9] J. Kortelainen, On the system of word equations x 0 u i 1 x 1u i 2 x 2 · · · u i m x m = y 0 v i 1 y 1v i 2 y 2 · · · v i n y n (i = 0,1,2,...) in a free monoid. J. Autom. Lang. Comb. 3 (1998), 43–57. [10] M. Lothaire, Combinatorics on Words, Addison-Wesley, Reading Massachusetts, 1983. [11] A. Salomaa, The Ehrenfeucht conjecture: A proof for language theorists. Bull. EATCS 27 (1985), 15
Page 1 and 2: On systems of word equations with s
Page 3 and 4: 2 Preliminaries We suppose that the
Page 5 and 6: does not change if we substitute x
Page 7 and 8: comparable, and since primitive roo
Page 9 and 10: 4 Characteristic equation The rest
Page 11 and 12: contains one occurrence of p. There
Page 13: Note that the previous argument wou

On systems of word equations with simple loop sets

Create successful ePaper yourself

Delete template?

Save as template?