Abstract
We consider Sturmian trees as a natural generalization of Sturmian words. A Sturmian tree is a tree having n+1 distinct subtrees of height n for each n. As for the case of words, Sturmian trees are irrational trees of minimal complexity.
We prove that a tree is Sturmian if and only if the minimal automaton associated to its language is slow, that is if the Moore minimization algorithm splits exactly one equivalence class at each step. We give various examples of Sturmian trees, and we introduce two parameters on Sturmian trees, called the degree and the rank. We show that there is no Sturmian tree of finite degree at least 2 and having finite rank. We characterize the family of Sturmian trees of degree 1 and having finite rank by means of a structural property of their minimal automata.
Similar content being viewed by others
References
Arnoux, P., Rauzy, G.: Représentation géométrique de suites de complexité 2n+1. Bull. Soc. Math. Fr. 119, 199–215 (1991)
Carpi, A., de Luca, A., Varricchio, S.: Special factors and uniqueness conditions in rational trees. Theor. Comput. Syst. 34, 375–395 (2001)
Courcelle, B.: Fundamental properties of infinite trees. Theor. Comput. Sci. 25, 95–165 (1983)
Coven, E.M., Hedlund, G.A.: Sequences with minimal block growth. Math. Syst. Theory 7, 138–153 (1973)
Lothaire, M.: Algebraic Combinatorics on Words. Encyclopedia of Mathematics, vol. 90. Cambridge University Press, Cambridge (2002)
Pytheas-Fogg, N.: Substitutions in Dynamics, Arithmetics and Combinatorics. Lecture Notes in Mathematics, vol. 1794. Springer, Berlin (2002). Berthé, V., Ferenczi, S., Mauduit, C., Siegel, A. (eds.)
Sakarovitch, J.: Élements de Théorie des Automates. Vuibert, Paris (2003)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Berstel, J., Boasson, L., Carton, O. et al. Sturmian Trees. Theory Comput Syst 46, 443–478 (2010). https://doi.org/10.1007/s00224-009-9228-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00224-009-9228-0