Gate2017 cs Q54

0. Let A and B be infinite alphabets and let # be a symbol outside both A and B. Let f be a total functional from A* to B*. We say f is computable if there exists a Turning machine M which given an input x in A*, always halts with f(x) on its tape. Let Lf denote the language {x ≠ f(x) | x ∈ A*}. Which of the following statements is true:

  • Option : A
  • Explanation :
    A TM is recursive iff it halts for every input string (either in accept or reject state). Here, a computable function is defined in a similar way.
Cancel reply

Your email address will not be published. Required fields are marked *


Cancel reply

Your email address will not be published. Required fields are marked *