1
GATE CSE 2014 Set 1
MCQ (Single Correct Answer)
+2
-0.6
Let $$L$$ be a language and $$\overline L $$ be its complement. Which one of the following is NOT a viable possibility?
A
Neither $$L$$ nor $$\overline L $$ is recursively enumerable (r.e).
B
One of $$L$$ and $$\overline L $$ is r.e. but not recursive; the other is not r.e.
C
Both $$L$$ and $$\overline L $$ are r.e. but not recursive.
D
Both $$L$$ and $$\overline L $$ are recursive.
2
GATE CSE 2014 Set 2
MCQ (Single Correct Answer)
+2
-0.6
Let $$ < M > $$ be the encoding of a Turing machine as a string over $$\sum { = \left\{ {0,1} \right\}.} $$
Let $$L = \left\{ { < M > \left| M \right.} \right.$$ is a Turing machine that accepts a string of length $$\left. {2014} \right\}.$$ Then, $$L$$ is
A
decidable and recursively enumerable
B
un-decidable but recursively enumerable
C
un-decidable and not recursively enumerable
D
decidable but not recursively enumerable
3
GATE CSE 2008
MCQ (Single Correct Answer)
+2
-0.6
If $$L$$ and $$\overline L $$ are recursively enumerable then $$L$$ is
A
Regular
B
Context-free
C
Context-sensitive
D
Recursive.
4
GATE CSE 2006
MCQ (Single Correct Answer)
+2
-0.6
Let $${L_1}$$ be a regular language, $${L_2}$$ be a deterministic context-free language and $${L_3}$$ a recursively enumerable, but not recursive, language. Which one of the following statement is false?
A
$${L_1} \cap {L_2}$$ is deterministic $$CFL$$
B
$${L_3} \cap {L_1}$$ is recursive
C
$${L_1} \cup {L_2}$$ is context-free
D
$${L_1} \cap {L_2} \cap {L_3}$$ is recursively enumerable
GATE CSE Subjects
Software Engineering
Web Technologies
EXAM MAP