Infinite labeled trees: From rational to Sturmian trees

  • Authors:
  • Nicolas Gast;Bruno Gaujal

  • Affiliations:
  • Laboratoire Informatique de Grenoble, UMR 5217, 110 av. de la Chimie, 38041 Grenoble, France and Grenoble Universités, 38041 Grenoble, France;Laboratoire Informatique de Grenoble, UMR 5217, 110 av. de la Chimie, 38041 Grenoble, France and INRIA Grenoble - Rhône-Alpes, 655 avenue de lEurope, 38 334 Saint Ismier Cedex, France

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2010

Quantified Score

Hi-index 5.23

Visualization

Abstract

This paper studies infinite unordered d-ary trees with nodes labeled by {0,1}. We introduce the notions of rational and Sturmian trees along with the definitions of (strongly) balanced trees and mechanical trees, and study the relations among them. In particular, we show that (strongly) balanced trees exist and coincide with mechanical trees in the irrational case, providing an effective construction. Such trees also have a minimal factor complexity, hence are Sturmian. We also give several examples illustrating the inclusion relations between these classes of trees.