Abstract
The global limit set has been introduced in a preceding work as a generalization of the way of generating infinite words by substitution systems, i.e. by iterating a morphism on a finite alphabet. We prove here that the boundary set (the “adherence set”) of a progressive substitution language is equal to its global limit set plus a simple set of words. This allows us to exhibit conditions to conclude that the full boundary is explicitly constructible, rationally codable and uncountable. The equivalence problem for boundaries is also shown decidable for iterated primitive morphisms.
Preview
Unable to display preview. Download preview PDF.
References
Beauquier (D.).-Automates de mots bi-infinis.-Paris, 1986. Thèse d'Etat.
Boasson (L.) and Nivat (N.)-Adherence of languages. J. Comp. Syst. Sc., vol. 20, 1980, pp. 285–309.
Culik II (K.) and Harju (T.).-The ω-sequence equivalence problem for DOL systems is decidable. Journal of the ACM, vol. 31, number 2, april 1984, pp. 282–298.
Culik II (K.) and Salomaa (A.).-On infinite words obtained by iterating morphisms. Theoretical Computer Science, vol. 19, 1982, pp. 29–38.
Coven (E.M.) and Keane (M.S.).-The structure of substitution minimal sets. Transactions of the American Mathematical Society, vol. 162, 1971, pp. 89–102.
Connes (A.).-Géométrie non Commutative.-Interéditions, 1990.
De Bruijn (N.G.).-Updown generation of Beatty sequences. Indag. Math., vol. 51, 1989, pp. 385–407.
Devolder (J.) and Litovsky (I.).-Finitely generated biω-languages. Theoretical Computer Science, vol. 85, 1991, pp. 33–52.
Engelking (R.).-General Topology.-Heldermann Verlag Berlin, 1989.
Gire (F.) and Nivat (N.).-Langages algébriques de mots bi-infinis. Theoretical Computer Science, vol. 86, 1991, pp. 277–323.
Gottschalk (W.H.).-Substitution minimal sets. Transactions of the American Mathematical Society, vol. 109, 1963, pp. 467–491.
Grunbaum (B.) and Shephard (G.C.).-Tilings and Patterns.-Freeman and CO., 1987.
Head (T.).-Adherences of DOL languages. Theoretical Computer Science, vol. 31, 1984, pp. 139–149.
Head (T.).-The adherences of languages as topological spaces. In: Automata on infinite words. pp. 147–163.-Springer Verlag. Lecture Notes in Comp. Sci. vol. 192.
Morse (M.) and Hedlund (G.A.).-Symbolic dynamics. American Journal of Mathematics, vol. 60, 1938, pp. 815–866.
Mossé (B.).-Puissances de mots et reconnaissabilité des points fixes d'une substitution.-Technical report, PRC Math. Info., Université Aix-Marseille, 1990.
Narbel (P.).-The limit set of recognizable substitution systems. In: STACS'93. pp. 226–236.-Springer Verlag. Lecture Notes in Comp. Sci., 657.
Nivat (N.) and Perrin (D.).-Ensembles reconnaissables de mots bi-infinis. In: 14th ACM Symp. on Theory of Computing, pp. 47–59.
Queffelec (M.).-Substitution Dynamical Systems — Spectral Analysis.-Springer-Verlag, 1987, Lecture Notes in Mathematics, volume 1294.
Rozenberg (G.) and Salomaa (A.).-The mathematical theory of L systems.-Academic press, 1980.
Salomaa (A.).-Jewels of Formal Language Theory.-Rockville, MD, Computer Science Press, 1981.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Narbel, P. (1993). The boundary of substitution systems. In: Borzyszkowski, A.M., Sokołowski, S. (eds) Mathematical Foundations of Computer Science 1993. MFCS 1993. Lecture Notes in Computer Science, vol 711. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57182-5_49
Download citation
DOI: https://doi.org/10.1007/3-540-57182-5_49
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57182-7
Online ISBN: 978-3-540-47927-7
eBook Packages: Springer Book Archive