Primitive recursion

English

Noun

1. Template:Lb Recursion to a fixed depth.
2. Template:Lb The operator $\rho$ that creates a new function from two functions $g$ and $h$ such that:
   $\begin{array}{cc}\rho (g,h)(0,x_1,\dots ,x_k)& =g(x_1,\dots ,x_k)\\ \rho (g,h)(y+1,x_1,\dots ,x_k)& =h(y,\rho (g,h)(y,x_1,\dots ,x_k),x_1,\dots ,x_k)\end{array}$.

See also

• Template:L
• Template:L
• Template:Pedia