Rewriting rules for arithmetics in alternate base systems

02/21/2023

∙

by   Zuzana Masakova, et al.

∙

0

∙

share

For alternate Cantor real base numeration systems we generalize the result of Frougny and Solomyak on arithmetics on the set of numbers with finite expansion. We provide a class of alternate bases which satisfy the so-called finiteness property. The proof uses rewriting rules on the language of expansions in the corresponding numeration system. The proof is constructive and provides a method for performing addition of expansions in Cantor real bases.