Abstract
The purpose of this expository paper is to present a self-contained proof of a famous theorem of Fife that gives a full description of the set of infinite overlap-free words over a binary alphabet. Fife's characterization consists in a parameterization of these infinite words by a set of infinite words over a ternary alphabet. The result is that the latter is a regular set. The proof is by the explicit construction of the minimal automaton, obtained by the method of left quotients.
Partially supported by PRC “Mathématiques et Informatique” and by ESPRIT BRA working group 6317 — ASMICS 2.
Preview
Unable to display preview. Download preview PDF.
References
A. Carpi, Overlap-free words and finite automata, Theoret. Comput. Sci.115 (1993), 243–260.
J. Cassaigne, Counting overlap-free binary words, in: STACS'93, Enjalbert, Finkel, Wagner (eds), Lect. Notes Comp. Sci., 665, Springer-Verlag, 1993, 216–225.
K. Culik II and A. Salomaa, On infinite words obtained by iterating morphisms, Theoret. Comput. Sci.19 (1982), 29–38.
E. D. Fife, Binary sequences which contain no BBb, Trans. Amer. Math. Soc.261 (1980), 115–136.
T. Harju, On cyclically overlap-free words in binary alphabets, The Book of L, Springer-Verlag, 1986, 123–130.
G.A. Hedlund, Remarks on the work of Axel Thue, Nordisk Mat. Tidskr.15 (1967), 148–150.
R. Kfoury, A linear time algorithm to decide whether a binary word contains an overlap, Theoret. Inform. Appl.22 (1988), 135–145.
Y. Kobayashi, Enumeration of irreductible binary words, Discrete Appl. Math.20 (1988), 221–232.
M. Lothaire, Combinatorics on Words, Addison-Wesley, 1983.
M. Morse, Recurrent geodesics on a surface of negative curvature, Transactions Amer. Math. Soc.22 (1921), 84–100.
A. Restivo, S. Salemi, Overlap-free words on two symbols, in: Automata on infinite words, Nivat, Perrin (eds), Lect. Notes Comp. Sci., 192, Springer-Verlag, 1985, 198–206.
G. Rozenberg, A. Salomaa, The Mathematical Theory of L-Systems, Academic Press, 1980.
A. Salomaa, Morphisms on free monoids and language theory, in Formal Language Theory: Perspectives and Open Problems, pp. 141–166, Academic Press, 1980.
A. Salomaa, Jewels of Formal Language Theory, Computer Science Press, 1981.
R. Shelton, R. Soni, Chains and fixing blocks in irreducible sequences, Discrete Math.54 (1985), 93–99.
A. Thue, Über unendliche Zeichenreihen, Kra. Vidensk. Selsk. Skrifter. I. Mat.-Nat. Kl., Christiana 1906, Nr. 7.
A. Thue, Über die gegenseitige Lage gleicher Teile gewisser Zeichenreihen, Kra. Vidensk. Selsk. Skrifter. I. Mat.-Nat. Kl., Christiana 1912, Nr. 10.
A. Thue, Selected Mathematical Papers, edited by T. Nagell, A. Selberg, S. Selberg, K. Thalberg, Universitetsforlaget, Oslo 1977.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Berstel, J. (1994). A rewriting of Fife's theorem about overlap-free words. In: Karhumäki, J., Maurer, H., Rozenberg, G. (eds) Results and Trends in Theoretical Computer Science. Lecture Notes in Computer Science, vol 812. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58131-6_34
Download citation
DOI: https://doi.org/10.1007/3-540-58131-6_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58131-4
Online ISBN: 978-3-540-48445-5
eBook Packages: Springer Book Archive