Abstract
A word w is called repetitive if it contains two consecutive equal factors ; otherwise w is nonrepetitive. Thus the word abacacb is repetitive, and abcacbabcbac is nonrepetitive. There is no nonrepetitive word of length 4 over a two letter alphabet ; on the contrary, there exist infinite nonrepetitive words over a three letter alphabet. Most of the explicitly known infinite nonrepetitive words are constructed by iteration of a morphism. In this paper, we show that it is decidable whether an infinite word over a three letter alphabet obtained by iterating a morphism is nonrepetitive. We also investigate nonrepetitive morphisms, i.e. morphisms preserving nonrepetitive words, and we show that it is decidable whether a morphism (over an arbitrary finite alphabet) is nonrepetitive.
Preview
Unable to display preview. Download preview PDF.
Références
S.I. Adjan, Burnside groups of odd exponents and irreducible systems of group identities, in: Boone, Cannonito, Lyndon (eds), "Word Problems", North-Holland 1973, p 19–38.
S. Arson, Démonstration de l'existence de suites asymétriques infinies, Mat. Sb. 44 (1937), p 769–777.
J.M. Autebert, J. Beauquier, L. Boasson, M. Nivat, Quelques problèmes ouverts en théorie des langages algébriques, RAIRO, Informatique théorique, à paraître.
R. Dean, A sequence without repeats on x,x−1,y,y−1, Amer. Math. Monthly 72 (1965), p 383–385.
F. Dejean, Sur un théorème de Thue, J. Combinatorial Theory, Series A, 13 (1972), p 90–99.
A. Ehrenfeucht, K. Lee, G. Rozenberg, Subword complexities of various classes of deterministic developmental languages without interaction, Theor. Comput. Sci. 1 (1975), p 59–75.
W. Gottschalk, G. Hedlund, "Topological Dynamics", Amer. Math. Soc. Colloq. Publ. Vol. 36, 1955.
M. Harrison, "Introduction to Formal Language Theory", Addison-Wesley 1978.
S. Istrail, On irreductible languages and nonrational numbers, Bull. Soc. Math. Roumanie 21 (1977), p 301–308.
J. Leech, Note 2726: A problem on strings of beads, Math. Gazette 41 (1957), p 277–278.
M. Morse, G. Hedlund, Unending chess, symbolic dynamics and a problem in semigroups, Duke Math. J. 11 (1944), p 1–7.
P.A. Pleasants, Non-repetitive sequences, Proc. Cambridge Phil. Soc. 68 (1970), p 267–274.
C. Reutenauer, Sur les séries associées à certains systèmes de Lindenmayer, Theor. Comput. Sci., à paraître.
H.J. Shyr, A strongly primitive word of arbitrary length and its applications, Intern. J. Comput. Math., Section A 6 (1977), p 165–170.
A. Thue, Über unendliche Zeichenreihen, Norske Vid. Selsk. Skr. I. Mat.-Nat. Kl., Christiania 1906, Nr. 7, p 1–22.
A. Thue, Über die gegenseitige Lage gleicher Teile gewisser Zeichenreihen, Vidensk. Skr. I. Mat.-Naturv. Kl., 1912, Nr. 1, p 1–67.
T. Zech, Wiederholungsfreie Folgen, Z. Angew. Math. Mech. 38 (1958), p 206–209.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Berstel, J. (1979). Sur les mots sans carré définis par un morphisme. In: Maurer, H.A. (eds) Automata, Languages and Programming. ICALP 1979. Lecture Notes in Computer Science, vol 71. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09510-1_2
Download citation
DOI: https://doi.org/10.1007/3-540-09510-1_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09510-1
Online ISBN: 978-3-540-35168-9
eBook Packages: Springer Book Archive