GATE | GATE CS 2018 | Question 28
The set of all recursively enumerable languages is
(A) closed under complementation.
(B) closed under intersection.
(C) a subset of the set of all recursive languages.
(D) an uncountable set.
Explanation: Recursive Enumerable Language are closed under Union, Intersection, Concatenation and Kleene Closure (but not Complementation).
So, we can easily rule out option (A) and option (B) comes to be TRUE.
Recursive Language are subset of REL, but option (C) is saying opposite, so Option (C) is FALSE.
REL are countable, since set of all Turing Machines are countable. So option (D) is also FALSE.
Attention reader! Don’t stop learning now. Practice GATE exam well before the actual exam with the subject-wise and overall quizzes available in GATE Test Series Course.
Learn all GATE CS concepts with Free Live Classes on our youtube channel.
Only Option (B) is CORRECT.