Function composition in recursion theory
= Function composition in recursion theory
Given a $m$-ary function $g$ and $k$-ary functions $h_1,\ldots,h_m$, composition forms
$$
f(\mathbf x)=g(h_1(\mathbf x),\ldots,h_m(\mathbf x)).
$$
= Function composition in recursion theory
Given a $m$-ary function $g$ and $k$-ary functions $h_1,\ldots,h_m$, composition forms
$$
f(\mathbf x)=g(h_1(\mathbf x),\ldots,h_m(\mathbf x)).
$$