On critical exponents in fixed points of non-erasing morphisms

  • Authors:

  • Dalia Krieger

  • Affiliations:

  • School of Computer Science, University of Waterloo, Waterloo, ON N2L 3G1, Canada

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2007

Quantified Score

Hi-index 5.23

Visualization

Abstract

Let @S be an alphabet of size t, let f:@S^*-@S^* be a non-erasing morphism, let w be an infinite fixed point of f, and let E(w) be the critical exponent of w. We prove that if E(w) is finite, then for a uniform f it is rational, and for a non-uniform f it lies in the field extension Q[r,@l"1,...,@l"@?], where r,@l"1,...,@l"@? are the eigenvalues of the incidence matrix of f. In particular, E(w) is algebraic of degree at most t. Under certain conditions, our proof implies an algorithm for computing E(w).