Open In App

GATE | GATE-CS-2017 (Set 1) | Question 62

Like Article
Like
Save
Share
Report

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 denotes the language {x#f(x)|x∈A*}. Which of the following statements is true?
(A) f if computable if and only if Lf is recursive.
(B) f if computable if and only if Lf is recursive enumerable.
(C) if f is computable then Lf is recursive, but not conversely.
(D) if f is computable then Lf is recursively enumerable, but not conversely.


Answer: (A)

Explanation: This definition is given as Halting of Turing Machine. Every recursive language is computable, but converse may not be true.



Quiz of this Question


Last Updated : 11 Oct, 2021
Like Article
Save Article
Previous
Next
Share your thoughts in the comments
Similar Reads