Let the base be a complex number, , and let be a finite alphabet of digits. The \emph{-spectrum} of is the set $S_{A}(\beta) = {\sum_{k=0}^n a_k\beta^k \mid n \in , \ a_k \in {A}}S_{{A}}(\beta)$ has an accumulation point if and only if has a particular -representation, said to be \emph{rigid}. The first application is restricted to the case that and the alphabet is , integer. We show that the set of infinite -representations of is recognizable by a finite B"uchi automaton if and only if the spectrum has no accumulation point. Using a result of Akiyama-Komornik and Feng, this implies that is recognizable by a finite B"uchi automaton for any positive integer if and only if is a Pisot number. This improves the previous bound . For the second application the base and the digits are complex. We consider the on-line algorithm for division of Trivedi and Ercegovac generalized to a complex numeration system. In on-line arithmetic the operands and results are processed in a digit serial manner, starting with the most significant digit. The divisor must be far from , which means that no prefix of the -representation of the divisor can be small. The numeration system is said to \emph{allow preprocessing} if there exists a finite list of transformations on the divisor which achieve this task. We show that allows preprocessing if and only if the spectrum has no accumulation point.

生成讲解博客的中文版本

生成AI智能校验的中文版本