Skip to main content

On-Line Addition in Real Base

  • Conference paper
Mathematical Foundations of Computer Science 1999 (MFCS 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1672))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. Avizienis, Signed-digit number representations for fast parallel arithmetic. IRE Transactions on electronic computers 10 (1961), 389–400.

    Article  MathSciNet  Google Scholar 

  2. D. Berend and Ch. Prougny, Computability by finite automata and Pisot bases. Math. Systems Theory 27 (1994), 274–282.

    Article  Google Scholar 

  3. A. Bertrand, Développements en base de Pisot et répartition modulo 1. C.R.Acad. Sc., Paris 285 (1977), 419–421.

    MATH  MathSciNet  Google Scholar 

  4. 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.

    MathSciNet  MATH  Google Scholar 

  5. C.Y. Chow and J.E. Robertson, Logical design of a redundant binary adder. Proc. 4th Symposium on Computer Arithmetic (1978), 109–115.

    Google Scholar 

  6. S. Eilenberg, Automata, Languages and Machines, vol. A, Academic Press, 1974.

    Google Scholar 

  7. M.D. Ercegovac, On-line arithmetic: An overview. Real time Signal Processing VII SPIE 495 (1984), 86–93.

    Google Scholar 

  8. A.S. Fraenkel, Systems of numeration. Amer. Math. Monthly 92(2) (1985), 105–114.

    Article  MATH  MathSciNet  Google Scholar 

  9. Ch. Frougny, Representation of numbers and finite automata. Math. Systems Theory 25 (1992), 37–60.

    Article  MATH  MathSciNet  Google Scholar 

  10. 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.

  11. Ch. Frougny et J. Sakarovitch, Synchronisation déterministe des automates à délai borné. Theoret. Comput. Sci. 191 (1998), 61–77.

    Article  MATH  MathSciNet  Google Scholar 

  12. J.-M. Muller, Some characterizations of functions computable in on-line arithmetic. I.E.E.E. Trans. on Computers, 43 (1994), 752–755.

    Article  MATH  Google Scholar 

  13. W. Parry, On the β-expansions of real numbers. Acta Math. Acad. Sci. Hungar. 11 (1960), 401–416.

    Article  MATH  MathSciNet  Google Scholar 

  14. A. Rényi, Representations for real numbers and their ergodic properties. Ada Math. Acad. Sci. Hungar. 8 (1957), 477–493.

    Article  MATH  Google Scholar 

  15. 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.

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics