Analog computers and recursive functions over the reals

Journal of Complexity

Volumn 19, Issue 5, 2003, Pages 644-664

  Silva Graça, Daniels ^a   Costa, José Félix ^b  

^a UNIVERSITY OF ALGARVE   (Portugal)

^b UNIVERSITY OF LISBON   (Portugal)

Author keywords

Analog circuits; Differentially algebraic functions; Recursive functions over the reals; Shannon's general purpose analog computer

Indexed keywords

EID: 0141615048     PISSN: 0885064X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0885-064X(03)00034-7     Document Type: Article

References (15)

1. V. Bush, The differential analyzer. A new machine for solving differential equations, J. Franklin Inst. 212 (1931) 447-488.
2. B.C. Carlson, Special Functions of Applied Mathematics, Academic Press, New York, 1977.
3. M.L. Campagnolo, C. Moore, Upper and lower bounds on continuous-time computation, in: I. Antoniou, C.S. Calude, M.J. Dinneen (Eds.), Unconventional Models of Computation, UMC'2K, DMTCS, Springer, Berlin, 2001, pp. 135-153.
4. M.L. Campagnolo, C. Moore, J.F. Costa, Iteration, inequalities, and differentiability in analog computers, J. Complexity 16 (4) (2000) 642-660.
5. M.L. Campagnolo, C. Moore, J.F. Costa, An analog characterization of the Grzegorczyk hierarchy, J. Complexity 18 (4) (2002) 977-1000.
6. D.S. Graça, The general purpose analog computer and recursive functions over the reals, M.Sc. Thesis, IST/UTL, 2002 (available online at http://w3.ualg.pt/~dgraca).
7. T.W. Hungerford, Algebra, 8th Printing, Springer, Berlin, 1996.
8. P. Koiran, M. Cosnard, M. Garzon, Computability with low-dimensional dynamical systems, Theoret. Comput. Sci. 132 (1994) 113-128.
9. L. Lipshitz, L.A. Rubel, A differentially algebraic replacement theorem, and analog computation, Proc. Amer. Math. Soc. 99 (2) (1987) 367-372.
10. C. Moore, Unpredictability and undecidability in dynamical systems, Phys. Rev. Lett. 64 (1990) 2354-2357.
11. C. Moore, Recursion theory on the reals and continuous-time computation, Theoret. Comput. Sci. 162 (1996) 23-44.
12. M.B. Pour-El, Abstract computability and its relations to the general purpose analog computer, Trans. Amer. Math. Soc. 199 (1974) 1-28.
13. C. Shannon, Mathematical theory of the differential analyzer, J. Math. Phys. MIT 20 (1941) 337-354.
14. H.T. Siegelmann, Neural Networks and Analog Computation: Beyond the Turing Limit, Birkhäuser, Basel, 1999.
15. D.W. Stroock, A Concise Introduction to the Theory of Integration, 3rd Edition, Birkhäuser, Basel, 1999.