Computability by finite automata and pisot bases

  title={Computability by finite automata and pisot bases},
  author={Daniel Berend and Christiane Frougny},
  journal={Mathematical systems theory},
We prove that the function of normalization in base θ, which maps any θ-representation of a real number onto its θ-development, obtained by a greedy algorithm, is a function computable by a finite automaton over any alphabet if and only if θ is a Pisot number.