English
Related papers

Related papers: Substitutions and Cantor real numeration systems

200 papers

We study parallel algorithms for addition of numbers having finite representation in a positional numeration system defined by a base $\beta$ in $\mathbb{C}$ and a finite digit set $\mathcal{A}$ of contiguous integers containing $0$. For a…

Number Theory · Mathematics 2016-10-27 Christiane Frougny , Edita Pelantova , Milena Svobodova

A numeration system originally implies a digitization of real numbers, but in this paper it rather implies a compactification of real numbers as a result of the digitization. By definition, a numeration system with $G$, where $G$ is a…

Dynamical Systems · Mathematics 2007-05-23 Teturo Kamae

We study non-standard number systems with negative base $-\beta$. Instead of the Ito-Sadahiro definition, based on the transformation $T_{-\beta}$ of the interval $\big[-\frac{\beta}{\beta+1},\frac{1}{\beta+1}\big)$ into itself, we suggest…

Discrete Mathematics · Computer Science 2011-02-16 Daniel Dombek , Zuzana Masáková , Edita Pelantová

We consider positional numeration system with negative base, as introduced by Ito and Sadahiro. In particular, we focus on algebraic properties of negative bases $-\beta$ for which the corresponding dynamical system is sofic, which happens,…

Number Theory · Mathematics 2010-11-01 Zuzana Masáková , Edita Pelantová

This article could be called "theme and variations" on Cantor's celebrated diagonal argument. Given a square nxn tableau T=(a_i^j) on a finite alphabet A, let L be the set of its row-words. The permanent Perm(T) is the set of words…

Combinatorics · Mathematics 2007-05-23 Srečko Brlek , Michel Mendès France , John Michael Robson , Martin Rubey

We consider numeration systems where digits are integers and the base is an algebraic number $\beta$ such that $|\beta|>1$ and $\beta$ satisfies a polynomial where one coefficient is dominant in a certain sense. For this class of bases…

Number Theory · Mathematics 2011-06-21 Christiane Frougny , Edita Pelantová , Milena Svobodová

Using a genealogically ordered infinite regular language, we know how to represent an interval of R. Numbers having an ultimately periodic representation play a special role in classical numeration systems. The aim of this paper is to…

Computational Complexity · Computer Science 2007-05-23 P. Lecomte , M. Rigo

This paper introduces the Adaptive Base Representation (ABR) Theorem and proposes a novel number system that offers a structured alternative to the binary number system for digital computers. The ABR number system enables each decimal…

Information Theory · Computer Science 2025-10-20 Ravin Kumar

The $(-\beta)$-integers are natural generalisations of the $\beta$-integers, and thus of the integers, for negative real bases. When $\beta$ is the analogue of a Parry number, we describe the structure of the set of $(-\beta)$-integers by a…

Number Theory · Mathematics 2012-03-23 Wolfgang Steiner

We extend the well-known Dumont--Thomas numeration systems to $\mathbb{Z}$ using an approach inspired by the two's complement numeration system. Integers in $\mathbb{Z}$ are canonically represented by a finite word (starting with…

Combinatorics · Mathematics 2025-01-27 Sébastien Labbé , Jana Lepšová

This paper illustrates the richness of the concept of regular sets of time bounds and demonstrates its application to problems of computational complexity. There is a universe of bounds whose regular subsets allow to represent several time…

Computational Complexity · Computer Science 2013-09-24 Armin Hemmerling

This article critically reappraises arguments in support of Cantor's theory of transfinite numbers. The following results are reported: i) Cantor's proofs of nondenumerability are refuted by analyzing the logical inconsistencies in…

General Mathematics · Mathematics 2010-02-25 J. A. Perez

A set of integers is $S$-recognizable in an abstract numeration system $S$ if the language made up of the representations of its elements is accepted by a finite automaton. For abstract numeration systems built over bounded languages with…

Discrete Mathematics · Computer Science 2008-09-16 Emilie Charlier , Michel Rigo , Wolfgang Steiner

Every rational number p/q defines a rational base numeration system in which every integer has a unique finite representation, up to leading zeroes. This work is a contribution to the study of the set of the representations of integers.…

Discrete Mathematics · Computer Science 2023-06-22 Shigeki Akiyama , Victor Marsault , Jacques Sakarovitch

A Cantor set is a non-empty, compact set that has neither interior nor isolated points. In this paper a Cantor set $K\subseteq \mathbb{R}$ is constructed such that every set definable in $(\mathbb{R},<,+,\cdot,K)$ is Borel. In addition, we…

Logic · Mathematics 2016-05-04 Philipp Hieronymi

Cantor sets of integers have a rich set of arithmetic combinatorial properties. We consider classical Cantor sets, with a base and a fixed set of allowed digits. For such sets, we (a) give examples of such sets that satisfy the intersective…

Dynamical Systems · Mathematics 2026-02-18 Alex Burgin , Anastasios Fragkos , Michael T. Lacey , Dario Mena , Maria Carmen Reguera

Generalizations of linear numeration systems in which the set of natural numbers is recognizable by finite automata are obtained by describing an arbitrary infinite regular language following the lexicographic ordering. For these systems of…

Other Computer Science · Computer Science 2007-05-23 Pierre B. A. Lecomte , Michel Rigo

Every element $u$ of $[0,1]$ can be written in the form $u=x^2y$, where $x,y$ are elements of the Cantor set $C$. In particular, every real number between zero and one is the product of three elements of the Cantor set. On the other hand…

Metric Geometry · Mathematics 2017-11-27 Jayadev S. Athreya , Bruce Reznick , Jeremy T. Tyson

We study expansions in non-integer negative base -{\beta} introduced by Ito and Sadahiro. Using countable automata associated with (-{\beta})-expansions, we characterize the case where the (-{\beta})-shift is a system of finite type. We…

Formal Languages and Automata Theory · Computer Science 2010-12-17 Christiane Frougny , Anna Chiara Lai

We study the problem of representing integers as sums of prime numbers from a fixed Beatty sequence $B_{\alpha,\beta}$, where $\alpha>1$ is irrational and of finite type.

Number Theory · Mathematics 2015-06-26 William D. Banks , Ahmet M. Guloglu , C. Wesley Nevans