We forniulate recursive characterizations of the class of elementary functions and the class of functions computable in polynomial space that do not require any explicit bounded acheme. More specifically, we use functions where the input variables can occur in different kinds of positions -normal and safe -in the vein of the Bellantoni and Cook's characterization of the polytime funetiona.
We give a recursion-theoretic characterization of the complexity classes NC k for k ≥ 1. In the spirit of implicit computational complexity, it uses no explicit bounds in the recursion and also no separation of variables is needed. It is based on three recursion schemes, one corresponds to time (time iteration), one to space allocation (explicit structural recursion) and one to internal computations (mutual in place recursion). This is, to our knowledge, the first exact characterization of the NC k by function algebra over infinite domains in implicit complexity. Research supported by the project Teorias e linguagens de programação para computações com recursos limitados within the Programa PESSOA 2005
This paper gives an implicit characterization of the class of functions computable in polynomial space by deterministic Turing machines -PSPACE. It gives an inductive characterization of PSPACE with no ad-hoc initial functions and with only one recursion scheme. The main novelty of this characterization is the use of pointers (also called path information) to reach PSPACE. The presence of the pointers in the recursion on notation scheme is the main difference between this characterization of PSPACE and the well-known Bellantoni-Cook characterization of the polytime functions -PTIME.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.