Chapter 11: Computability l;;l 345
11.15 Compute Z(4) using the TUling machine constructed for computing the
zero function.
11.16 Compute 5(3) using the Turing machine which computes 5.
11.17 Compute U?(2. 1. 1). Ui'(L 2, 1). U 3 \L 2, 1) using the Turing
machines which can compute the projection functions.
11.18 Construct a Turing machine which can compute lex) =x + 2.
11.19 Construct a Turing machine which can compute f{.ylo xJ = XI + 2 for
the arguments 1, 2 (i.e. Xl = 1, X2 = 2).
11.20 Construct a Turing machine which can compute l(xl' X2) =XI + Xo for
the arguments 2. 3 (i.e. Xl = 2. X2 = 3).