L. Blum, M. Shub and S. Smale defined a kind of computation model having parameters that take real values [2]. In this paper we will extend their computation theory on the basis of the conventional recursion theory which is constructed on the domain of in
展开▼