We prove that the function of normalization in base theta, which maps
any theta-representation of a real number onto its theta-development,
obtained by a greedy algorithm, is a function computable by a finite a
utomaton over any alphabet if and only if theta is a Pisot number.