So I'm trying to solve this problem(problem 8 from section 3.4) of the book Computability, Complexity and languages by Martin Davis:
Let k be some fixed number, let
f
be a function such thatf(x + 1) < x + 1
for all x, and leth(O) = k h(t + 1) = g(h(f(t + 1)))
Show that if
f
andg
belong to some PRC class C, then so doesh
.
I can't seem to find the way although there is a hint given in the book. Any tips or solves would be much appreciated!