Closure properties of primitive recursive functions
[20/65%]A general recursive function that can be constructed without using minimization is called primitive recursive. Let the functions and be primitive recursive, , — a general recursive function, and let be majorized by the function for all . Prove that is also primitive recursive.
We say that the function is obtained by bounded minimization of the function (denoted ), if , when for all , and otherwise equals the smallest for which . Prove that the function can be constructed from and the basis functions by means of superposition and primitive recursion.
A g.r.f. that can be constructed without using minimization is called primitively recursive. Let the functions and be primitively recursive, , a g.r.f., and let be majorized by the function for all . Prove that is also primitively recursive.
Assume that is a primitive recursive predicate. Show that the following function is also primitive recursive:
Assume that is primitive recursive. Show that the following functions are also primitive recursive:
.
.
Assume that both and are primitive recursive. Show that the following function is also primitive recursive:
Assume that is primitive recursive. Show that the following function is also primitive recursive:
Show that every context-free language is primitive recursive.
Assume that is primitive recursive. Then, the function , defined by
is also primitive recursive.
Prove that every primitive recursive function is everywhere defined.
Prove that if the function is primitive recursive, then the following functions are primitive recursive:
(permutation of arguments);
(cyclic permutation of arguments);
(introduction of a dummy argument);
(identification of arguments).
Which functions are obtained from the simplest functions using superpositions alone?
Prove that the functions and cannot be obtained from and using superpositions and primitive recursion schemes.
Let be primitive recursive functions. Prove that the following functions are primitive recursive:
;
;
Prove that if is obtained from primitive recursive functions and by means of the bounded -operator, then is primitive recursive.
Let the functions have the following property: for any natural values , one and only one of these functions equals . We say that the function is defined by cases, if
Prove that if the functions are primitive recursive, then is primitive recursive.
Prove that if the functions are primitive recursive and is obtained from them by course-of-values recursion with delays, then the function is primitive recursive.
Let the functions and be defined as follows:
Prove that if the functions and are primitive recursive, then the functions and are primitive recursive.
Let be defined by means of simultaneous recursion:
for all .
Prove that if the functions are primitive recursive, then the functions are primitive recursive.
Prove that every primitive recursive function is general recursive.