Construct a Turing Machine That Computes $$f \left( n _ { 1 } , n _ { 2 } \right) = n _ { 2 } + 1 , \text { where } n _ { 1 } , n _ { 2 } \geq 0$$

Short Answer

Construct a Turing machine that computes $$f \left( n _ { 1 } , n _ { 2 } \right) = n _ { 2 } + 1 , \text { where } n _ { 1 } , n _ { 2 } \geq 0$$