Abstract

The first aim of this article is to give information about the algebraic properties of alternate bases β=(β0,…,βp−1)\boldsymbolβ=(β_0,\dots,β_{p-1}) determining sofic systems. We show that a necessary condition is that the product δ=∏i=0p−1βiδ=\prod_{i=0}^{p-1}β_i is an algebraic integer and all of the bases β0,…,βp−1β_0,\ldots,β_{p-1} belong to the algebraic field Q(δ){\mathbb Q}(δ). On the other hand, we also give a sufficient condition: if δδ is a Pisot number and β0,…,βp−1∈Q(δ)β_0,\ldots,β_{p-1}\in {\mathbb Q}(δ), then the system associated with the alternate base β=(β0,…,βp−1)\boldsymbolβ=(β_0,\dots,β_{p-1}) is sofic. The second aim of this paper is to provide an analogy of Frougny's result concerning normalization of real bases representations. We show that given an alternate base β=(β0,…,βp−1)\boldsymbolβ=(β_0,\dots,β_{p-1}) such that δδ is a Pisot number and β0,…,βp−1∈Q(δ)β_0,\ldots,β_{p-1}\in {\mathbb Q}(δ), the normalization function is computable by a finite Büchi automaton, and furthermore, we effectively construct such an automaton. An important tool in our study is the spectrum of numeration systems associated with alternate bases. The spectrum of a real number δ>1δ>1 and an alphabet A⊂ZA\subset {\mathbb Z} was introduced by Erdős et al. For our purposes, we use a generalized concept with δ∈Cδ\in{\mathbb C} and A⊂CA\subset{\mathbb C} and study its topological properties.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.