Go backward to Properties of Quotient and Remainder Go up to Top Go forward to More Notions |
..: N x N -> N, xn := if n = 0N then 1 else x * xn-.
Termination function: r(x, n) := n
Example:
53 = 5*(52) = 5*(5*(51)) = 5*(5*(5*(50))) = 5*(5*(5*(1))) = 5*5*5.