Abstract
We introduce a new relationship between formal language theory and surface theory. More specifically, we show how substitutions on words can represent automorphisms of surfaces. This correspondance is applied to construct and analyze non-periodic irreducible automorphisms. We use results about D0L-systems, mainly the decidability of the non-repetitiveness of a D0L-language.
Preview
Unable to display preview. Download preview PDF.
References
P. Arnoux and JC. Yoccoz. Construction de diffeomorphismes pseudo-Anosov. C.R. Acad. Sci., Paris, Ser. I, 292:75–78, 1981.
M. Bestvina and M. Handel. Train-tracks for surface homeomorphisms. Topology, 34(1):109–140, 1995.
L. Boasson and N. Nivat. Adherence of languages. J. Comp. Syst. Sc., 20:285–309, 1980.
A.J. Casson and S. Bleiler. Automorphisms of Surfaces after Nielsen and Thurston. Number 9 in Student Text. London Mathematical Society, 1988.
A. Ehrenfeucht and G. Rozenberg. Simplifications of homomorphisms. Information and Control, 38:298–309, 1978.
A. Ehrenfeucht and G. Rozenberg. Repetitions of subwords in D0L languages. Information and Control, 59:13–35, 1983.
A. Fathi, F. Laudenbach, and V. Poenaru, editors. Travaux de Thurston sur les surfaces. Soc. Math., de France, 1979. Astérisque, Volume 66–67.
M. Handel and W. P. Thurston. New proofs of some results of Nielsen. Adv. in Math., 56:173–191, 1985.
Y. Kobayashi and Otto F. Repetitiveness of D0L languages is decidable in polynomial time. In Proceedings of MFCS'97, Slovakia, pages 337–346. Springer Verlag, 1997. Lecture Notes in Comp. Sci., 1295.
L-M. Lopez and Ph. Narbel. Generalized sturmian languages. In Z. Fueloep and F. Gecseg, editors, ICALP'95, pages 336–347. Springer, 1995. Lecture Notes in Computer Science 944.
J. E. Los. Pseudo-Anosov maps and invariant train tracks in the disc: a finite algorithm. Proc. of London Math. Soc., 66(2):400–430, 1993.
R. Mañé. Ergodic Theory and Differentiable Dynamics. Springer-Verlag, 1983.
R.T. Miller. Geodesic laminations from Nielsen's viewpoint. Adv. in Math., 45:189–212, 1982.
B. Mossé. Puissances de mots et reconnaissabilité des points fixes d'une substitution. Theoretical Computer Science, 99:327–334, 1992.
Ph. Narbel. The boundary of iterated morphisms on free semi-groups. Intern. J. of Algebra and Computation, 6(2):229–260, 1996.
J. Nielsen. Untersuchungen zur topologie des geschlossenen zweiseitigen flächen. Acta Math., 50:189–358, 1927.
A. Papadopoulos and R.C. Penner. Enumerating pseudo-Anosov foliations. Pacific Journ. of Math., 142(1):159–173, 1990.
R.C. Penner. A construction of pseudo-Anosov homeomorphisms. Transc. of the Amer. Math. Soc., 310(1):179–197, 1988.
M. Quéffelec. Substitution Dynamical Systems. Spectral Analysis. Number 1294 in Lecture Notes in Mathematics. Springer-Verlag, 1987.
G. Rozenberg and A. Salomaa. The mathematical theory of L systems. Academic press, 1980.
I. Takarajima. On a construction of pseudo-Anosov diffeomorphism by sequences of train tracks. Pacific Journ. of Math., 166(1):123–191, 1994.
William P. Thurston. On the geometry and dynamics of diffeomorphisms of surfaces. Bull. Am. Math. Soc., New Ser., 19(2):417–431, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lopez, LM., Narbel, P. (1998). D0L-systems and surface automorphisms. In: Brim, L., Gruska, J., Zlatuška, J. (eds) Mathematical Foundations of Computer Science 1998. MFCS 1998. Lecture Notes in Computer Science, vol 1450. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055802
Download citation
DOI: https://doi.org/10.1007/BFb0055802
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64827-7
Online ISBN: 978-3-540-68532-6
eBook Packages: Springer Book Archive