1
GATE CSE 2018
+2
-0.6
Consider the following problems. $$L(G)$$ denotes the language generated by a grammar $$G.$$ $$L(M)$$ denotes the language accepted by a machine $$M.$$

$$\,\,\,\,\,\,\,\,{\rm I}.\,\,\,\,\,\,\,$$ For an unrestricted grammar $$G$$ and a string $$W,$$ whether $$w \in L\left( G \right)$$
$$\,\,\,\,\,\,{\rm II}.\,\,\,\,\,\,\,$$ Given a Turing machine $$M,$$ whether $$L(M)$$ is regular
$$\,\,\,\,{\rm III}.\,\,\,\,\,\,\,$$ Given two grammars $${G_1}$$ and $${G_2}$$, whether $$L\left( {{G_1}} \right) = L\left( {{G_2}} \right)$$
$$\,\,\,\,{\rm IV}.\,\,\,\,\,\,\,$$ Given an $$NFA$$ $$N,$$ whether there is a deterministic $$PDA$$ $$P$$ such that $$N$$
$$\,\,\,\,\,\,\,\,\,\,\,\,\,$$ $$\,\,\,\,\,\,\,\\,\,\,$$and $$P$$ accept the same language.

Which one of the following statements is correct?

A
Only $${\rm I}$$ and $${\rm I}$$$${\rm I}$$ are undecidable
B
Only $${\rm III}$$ is undecidable
C
Only $${\rm I}$$$${\rm I}$$ and $${\rm IV}$$ are undecidable
D
Only $${\rm I}$$, $${\rm II}$$ and $${\rm III}$$ are undecidable
2
GATE CSE 2016 Set 2
+2
-0.6
Consider the following languages.

$$\,\,\,\,\,\,\,\,\,\,\,\,$$ $${L_1} = \left\{ {\left\langle M \right\rangle |M} \right.$$ takes at least $$2016$$ steps on some input $$\left. \, \right\},$$
$$\,\,\,\,\,\,\,\,\,\,\,\,$$ $${L_2} = \left\{ {\left\langle M \right\rangle |M} \right.$$ takes at least $$2016$$ steps on all inputs $$\left. \, \right\}$$ and
$$\,\,\,\,\,\,\,\,\,\,\,\,$$ $${L_3} = \left\{ {\left\langle M \right\rangle |M} \right.$$ accepts $$\left. \varepsilon \right\},$$

where for each Turing machine $${M,\left\langle M \right\rangle }$$ denotes a specific encoding of $$M.$$ Which one of the following is TRUE?
A
$${L_1}$$ is recursive and $${L_2},$$$${L_3}$$ are not recursive
B
$${L_2}$$ is recursive and $${L_1},$$$${L_3}$$ are not recursive
C
$${L_1},$$$${L_2}$$ are recursive and $${L_3}$$ is not recursive
D
$${L_{1,}}$$$${L_{2,}}$$$${L_{3}}$$ are recursive
3
GATE CSE 2016 Set 1
+2
-0.6
Let $$X$$ be a recursive language and $$Y$$ be a recursively enumerable but not recursive language. Let $$W$$ and $$Z$$ be two languages such that $$\overline Y$$ reduces to $$W,$$ and $$Z$$ reduces to $$\overline X$$ (reduction means the standard many-one reduction). Which one of the following statements is TRUE?
A
$$W$$ can be recursively enumerable and $$Z$$ is recursive.
B
$$W$$ can be recursive and $$Z$$ is recursively enumerable.
C
$$W$$ is not recursively enumerable and $$Z$$ is recursive.
D
$$W$$ is not recursively enumerable and $$Z$$ is not recursive.
4
GATE CSE 2014 Set 2
+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
GATE CSE Subjects
EXAM MAP
Medical
NEET