Abstract
Let β be a real number β 1. Addition and multiplication by a fixed positive integer of real numbers represented in base β are shown to be computable by an on-line algorithm, and thus are continuous functions. When β is a Pisot number, these functions are computable by an on-line finite automaton.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Avizienis, Signed-digit number representations for fast parallel arithmetic. IRE Transactions on electronic computers 10 (1961), 389–400.
D. Berend and Ch. Prougny, Computability by finite automata and Pisot bases. Math. Systems Theory 27 (1994), 274–282.
A. Bertrand, Développements en base de Pisot et répartition modulo 1. C.R.Acad. Sc., Paris 285 (1977), 419–421.
A. Bertrand-Mathis, Comment écrire les nombres entiers dans une base qui n’est pas entière. Acta Math. Acad. Sci. Hungar. 54 (1989), 237–241.
C.Y. Chow and J.E. Robertson, Logical design of a redundant binary adder. Proc. 4th Symposium on Computer Arithmetic (1978), 109–115.
S. Eilenberg, Automata, Languages and Machines, vol. A, Academic Press, 1974.
M.D. Ercegovac, On-line arithmetic: An overview. Real time Signal Processing VII SPIE 495 (1984), 86–93.
A.S. Fraenkel, Systems of numeration. Amer. Math. Monthly 92(2) (1985), 105–114.
Ch. Frougny, Representation of numbers and finite automata. Math. Systems Theory 25 (1992), 37–60.
Ch. Frougny, On-line finite automata for addition in some numeration systems, RAIRO Theoretical Informatics and Applications, to appear, available at http://www.liafa.jussieu.fr/~cf.
Ch. Frougny et J. Sakarovitch, Synchronisation déterministe des automates à délai borné. Theoret. Comput. Sci. 191 (1998), 61–77.
J.-M. Muller, Some characterizations of functions computable in on-line arithmetic. I.E.E.E. Trans. on Computers, 43 (1994), 752–755.
W. Parry, On the β-expansions of real numbers. Acta Math. Acad. Sci. Hungar. 11 (1960), 401–416.
A. Rényi, Representations for real numbers and their ergodic properties. Ada Math. Acad. Sci. Hungar. 8 (1957), 477–493.
K.S. Trivedi and M.D. Ercegovac, On-line algorithms for division and multiplication. I.E.E.E. Trans. on Computers C 26 (1977), 681–687.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Frougny, C. (1999). On-Line Addition in Real Base. In: Kutyłowski, M., Pacholski, L., Wierzbicki, T. (eds) Mathematical Foundations of Computer Science 1999. MFCS 1999. Lecture Notes in Computer Science, vol 1672. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48340-3_1
Download citation
DOI: https://doi.org/10.1007/3-540-48340-3_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66408-6
Online ISBN: 978-3-540-48340-3
eBook Packages: Springer Book Archive