On the redundancy of real number representation systems

Abstract

(eng) In this paper, a set of definitions describing general real number representation systems is presented. Our purpose is to find a sufficiently wide model definition including classical systems (signed-digit notation,linear numeration systems, p-adic numbers, symmetric level index arithmetic...) but specific enough to make it possible to build some practical results. We focuse on the redundancy property and the relationships between redundancy, on-line and digit-parallel calculus.