Abstract
In this survey, two problems are considered. The first is to determine conditions on an infinite word such that the set of (finite) words which are not prefixes is context-free. The second is to describe how the number of factors of length n in an infinite word grows as a function of n. An application to a problem concerning semigroups motivates the second problem.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
J. M. Autebert, J. Beauquier, L. Boasson, M. Nivat, Quelques problèmes ouverts en théorie des langages, RAIRO Informatique théorique13 (1979), 363–379.
J. M. Autebert, P. Flajolet, J. Gabarró, Prefixes of infinite words and ambiguous context-free languages, Inform. Proc. Letters25 (1987), 211–216.
J. M. Autebert, J. Gabarró, Iterated gsm's and co-cfl, Acta Informatica, to appear.
C. Bader, A. Moura, A generalization of Ogden's lemma, J. Assoc. Comput. Mach.29 (1982), 404–407.
J. Berstel, Mots de Fibonacci, Séminaire d'informatique théorique, LITP, Paris, Année 1980/81, 57–78.
J. Berstel, Every iterated morphism yields a co-cfl, Inform. Proc. Letters22 (1986), 7–9.
R. D. Blyth, Rewriting products of group elements I, J. Algebra116 (1988), 506–521.
S. Brlek, Enumeration of factors in the Thue-Morse word, Discr. Appl. Math., to appear.
A. Cobham Uniform tag sequences, Math. Systems Theory6 (1972), 164–192.
K. Culik II, A. Salomaa On infinite words obtained by iterating morphisms, Theoret. Comput. Sci.19 (1982), 29–38.
M. Curzio, P. Longobardi, M. Maj, Su di un problema combinatorio in teoria dei gruppi, Atti Acc. Lincei Rend. Fis VIII74 (1983), 136–142.
M. Curzio, P. Longobardi, M. Maj, D. J. S. Robinson, A permutational property of groups, Arch. Math.44 (1985), 385–389.
A. de Luca, S. Varricchio, Some combinatorial properties of the Thue-Morse sequence and a problem in semigroups, Theoret. Comput. Sci., to appear.
A. de Luca, S. Varricchio, Factorial languages whose growth function is quadratically upper bounded, Inform. Proc. Letters, to appear.
S. EilenbergAutomata, Languages, and Machines, Vol A, Academic Press, 1974
A. Ehrenfeucht, G. Rozenberg, On the subword complexity of D0L languages with a constant distribution, Inform. Proc. Letters16 (1981), 25–32.
P. Flajolet, Ambiguity and transcendence, in: Proc. 12th ICALP, Lecture Notes Comput. Sci.194 (1985), 179–188.
P. Flajolet, Analytic models and ambiguity of context-free languages, Theoret. Comput. Sci.49 (1987), 283–309.
S. Ginsburg, The Mathematical Theory of Context-Free Languages, McGraw Hill, 1966.
A. Grazon, An infinite word language which is not co-CFL, Inform. Proc. Letters24 (1987), 81–86.
T. Harju, M. Linna, On the periodicity of morphisms in free monoids, Theoret. Inform. Appl.20 (1986), 47–54.
G.A. Hedlund, M. Morse, Symbolic dynamics I,II, Amer. J. Math60 (1938), 815–866, 62 (1940), 1–42.
N. Herstein, Noncommutative Rings, Carus Math. Monographs, Math. Assoc. Amer., 1969.
J. Justin, G. Pirillo, Infinite words and permutation properties, Semigroup Forum, to appear.
J. Karhumäki, On cube-free ω-words generated by binary morphisms, Discr. Appl. Math.5 (1983), 279–297.
W. Kolakovski, Self generating runs, problem 5304, American Math. Monthly71 (1965), solution by N.Ucoluk, same journal 73 (1966), 681–682.
M. G. Main, An infinite square-free co-CFL, Inform. Proc. Letters20 (1985), 105–107.
M. G. Main, W. Bucher, D. Haussler, Application of an infinite square-free co-CFL, in: Proc. 12th ICALP, Lecture Notes Comput. Sci.194 (1985), 404–412, also Theoret. Comput. Sci.49 (1987), 113–119.
F. Mignosi Infinite words with linear subword complexity, Theoret. Comput. Sci., to appear.
M. Morse, G. Hedlund, Unending chess, symbolic dynamics, and a problem in semigroups, Duke Math. J.11 (1944), 1–7.
W. Ogden, R. Ross, K. Winklmann, An “interchange lemma” for context-free languages, SIAM J. Comput.14 (1985), 410–415.
J.-J. Pansiot, Decidability of periodicity for infinite words, Theoret. Inform. Appl.20 (1986), 43–46.
G. Rauzy, Sequences defined by iterated morphisms, in: Workshop on Sequences (R. Capocelli ed.), Lecture Notes Comput. Sci., to appear.
A. Restivo, Permutation properties and the Fibonacci semigroup, Semigroup Forum, to appear.
A. Restivo, C. Reutenauer, On the Burnside problem for semigroups, J. Algebra89 (1984), 102–104.
J. Shallit, A generalization of automatic sequences, Theoret. Comput. Sci.61 (1988), 1–16.
T. Tapsoba, Complexité de suites automatiques, Thèse 3e cycle, Université d'Aix-Marseille II, 1987.
A. Terlutte, Sur le centre de D0L-languages, Theoret. Inform. Appl.21 (1987), 137–146.
A. Terlutte, Contribution à l'étude des languages engendrés par des morphismes itérés, Thèse, Université de Lille I, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Berstel, J. (1989). Properties of infinite words : Recent results. In: Monien, B., Cori, R. (eds) STACS 89. STACS 1989. Lecture Notes in Computer Science, vol 349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028971
Download citation
DOI: https://doi.org/10.1007/BFb0028971
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50840-3
Online ISBN: 978-3-540-46098-5
eBook Packages: Springer Book Archive