Suppose that function k is defined in λ-calculus by k = λf.λx.if (isZero(x)) (
If function g is defined by g = fix k, then which of the following is true of g? ) (times ( ) (f (pred x))).(b). If g is a fixed-point of k, then it must satisfy equation
g(x) = if (isZero(x)) (
) (times ( ) (g(pred x))).Written in more common notation,
g(x) = if x = 0 then 1 else 2*g(x − 1).