On-line odometers for two-sided symbolic dynamical systems

  • Authors:
  • Christiane Frougny

  • Affiliations:
  • LIAFA, Paris Cedex 05, France and Université Paris 8

  • Venue:
  • DLT'02 Proceedings of the 6th international conference on Developments in language theory
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

We consider biinfinite sequences on a finite alphabet of digits which satisfy a constraint of finite type. Such sequences are perturbed by adding a 1 in position 0. The odometer is the function which transforms the initial sequence into an admissible sequence equivalent to the perturbed one. It is shown that the odometer can be realized by an on-line finite automaton when the constraint is linked to numeration in base β, where β is a Pisot number satisfying the equation βm = t1βm-1+...+tm, where t1 ≥ t2 = ... tm ≥ 1 are integers.