منابع مشابه
Unary Primitive Recursive Functions
In this article, we will study certain reductions in the schemes that conform unary primitive recursive functions (i.e. primitive recursive functions of one argument) and we will extend some results previously researched by R. M. Robinson in [15]. Furthermore, we will introduce formal notation for unary primitive recursive functions. §
متن کاملA Hierarchy of Unary Primitive Recursive String-Functions
1 I n t r o d u c t i o n Let N be the set of naturals i.e. N = {0,1, 2, . . .}. Consider a fixed alphabet A = {a l ,a2 , . . . ,at}, r > 2 and denote by A* the free monoid generated by A under concatenation (with e the null string). The elements of A* are called strings; if reffering to strings, " < " denotes the lexicographical order induced by al < a2 < . . . < at. Denote by Fnc (respectivel...
متن کاملUnary functions
We consider F , the class of nite unary functions, i.e. the class of pairs of the form (A; f) where A is a nite set and f is an unary function on A. We also consider two subclasses of F : B and Fk for k > 1. B contains structures (A; f) with the property that f is a bijection of the set A, and Fk contains structures (A; f) with the property that inverse image of every point in A under f has c...
متن کاملOptimization with unary functions
Most nonlinear programming problems consist of functions which are sums of unary functions of linear functions. Advantage can be taken of this form to calculate second and higher order derivatives easily and at little cost. Using these, high order optimization techniques such as Halley's method can be utilized to accelerate the rate of convergence to the solution. These higher order derivatives...
متن کاملOn Bijections vs. Unary Functions
A set of nite structures is in Binary NP if it can be characterized by existential second order formulas in which second order quan-tiication is over relations of arity 2. In DLS95] subclasses of Binary NP were considered, in which the second order quantiiers range only over certain classes of relations. It was shown that many of these subclasses coincide and that all of them can be ordered in ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1988
ISSN: 0168-0072
DOI: 10.1016/0168-0072(88)90032-2