The Methods of Approximation and Lifting in Real Computation

The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the reals, or whether defined in different manners, via function algebras (Real Recursive Functions) or via Turing Machines (Computable Analysis). We provide general tools for investigating these issues, using a technique we call the method of approximation. We give the general development of this method, and apply it to obtain 2 theorems. First we connect the discrete operation of linear recursion (basically equivalent to the combination of bounded sums and bounded products) to linear differential equations, thus providing an alternative proof of the result from Campagnolo, Moore and Costa [3]. Secondly, we extend this to prove a result similar to that of Bournez and Hainry [1], providing a function algebra for the real functions computable in elementary time. Their proof involves simulating the operation of a Turing Machine usi...

• Type: Journal
• Year: 2007
• Where: ENTCS
• Authors: Manuel Lameiras Campagnolo, Kerry Ojakian
• Keywords: ENTCS 2007, Function Algebra, Real Recursive Functions, Turing Machine