Analog computers and recursive functions over the reals

@article{Graa2003AnalogCA,
  title={Analog computers and recursive functions over the reals},
  author={D. S. Graça and J. Costa},
  journal={J. Complex.},
  year={2003},
  volume={19},
  pages={644-664}
}
  • D. S. Graça, J. Costa
  • Published 2003
  • Mathematics, Computer Science
  • J. Complex.
  • In this paper we show that Shannon's general purpose analog computer (GPAC) is equivalent to a particular class of recursive functions over the reals with the flavour of Kleene's classical recursive function theory.We first consider the GPAC and several of its extensions to show that all these models have drawbacks and we introduce an alternative continuous-time model of computation that solves these problems. We also show that this new model preserves all the significant relations involving… CONTINUE READING
    104 Citations
    Some recent developments on Shannon's General Purpose Analog Computer
    • 59
    • PDF
    Elementarily computable functions over the real numbers and R-sub-recursive functions
    • 24
    • PDF
    Real recursive functions and their hierarchy
    • 52
    • PDF
    The Extended Analog Computer and Functions Computable in a Digital Sense
    • M. Piekarz
    • Computer Science, Mathematics
    • Acta Cybern.
    • 2010
    • 3
    • PDF
    The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation
    • 27
    • PDF
    An Analog Characterization of Elementarily Computable Functions over the Real Numbers
    • 19
    • PDF
    On the Functions Generated by the General Purpose Analog Computer
    • 12
    • Highly Influenced
    • PDF
    Analog Computability with Differential Equations
    • PDF
    A foundation for real recursive function theory
    • 10
    • PDF

    References

    SHOWING 1-10 OF 24 REFERENCES
    The general purpose analog computer and recursive functionsover the reals
    • 9
    • PDF
    Recursion Theory on the Reals and Continuous-Time Computation
    • C. Moore
    • Mathematics, Computer Science
    • Theor. Comput. Sci.
    • 1996
    • 168
    • Highly Influential
    • PDF
    An Analog Characterization of the Grzegorczyk Hierarchy
    • 65
    Iteration, Inequalities, and Differentiability in Analog Computers
    • 58
    • PDF
    Upper and Lower Bounds on Continuous-Time Computation
    • 11
    • PDF
    A concise introduction to the theory of integration
    • 83
    • PDF
    Computability with Low-Dimensional Dynamical Systems
    • 128
    Classical recursion theory
    • 1,073