1
GATE CSE 2003
MCQ (Single Correct Answer)
+2
-0.6
Define Languages $${L_0}$$ and $${L_1}$$ as follows
$${L_0} = \left\{ { < M,\,w,\,0 > \left| {M\,\,} \right.} \right.$$ halts on $$\left. w \right\}$$
$${L_1} = \left\{ { < M,w,1 > \left| M \right.} \right.$$ does not halts on $$\left. w \right\}$$
$${L_0} = \left\{ { < M,\,w,\,0 > \left| {M\,\,} \right.} \right.$$ halts on $$\left. w \right\}$$
$${L_1} = \left\{ { < M,w,1 > \left| M \right.} \right.$$ does not halts on $$\left. w \right\}$$
Here $$ < M,\,w,\,i > $$ is a triplet, whose first component, $$M$$ is an encoding of a Turing Machine, second component, $$w$$, is a string, and third component, $$t,$$ is a bit.
Let $$L = {L_0} \cup {L_1}.$$ Which of the following is true?
2
GATE CSE 2002
MCQ (Single Correct Answer)
+2
-0.6
Which of the following is true?
3
GATE CSE 2002
MCQ (Single Correct Answer)
+2
-0.6
The $$C$$ language is:
4
GATE CSE 1997
MCQ (Single Correct Answer)
+2
-0.6
Which one of the following is not decidable?
Questions Asked from Recursively Enumerable Language and Turing Machine (Marks 2)
Number in Brackets after Paper Indicates No. of Questions
GATE CSE 2022 (1)
GATE CSE 2021 Set 1 (1)
GATE CSE 2018 (2)
GATE CSE 2016 Set 1 (1)
GATE CSE 2016 Set 2 (1)
GATE CSE 2014 Set 2 (1)
GATE CSE 2014 Set 1 (1)
GATE CSE 2008 (1)
GATE CSE 2006 (2)
GATE CSE 2005 (1)
GATE CSE 2003 (2)
GATE CSE 2002 (2)
GATE CSE 1997 (1)
GATE CSE 1994 (1)
GATE CSE 1992 (1)
GATE CSE 1990 (1)
GATE CSE Subjects
Theory of Computation
Operating Systems
Algorithms
Database Management System
Data Structures
Computer Networks
Software Engineering
Compiler Design
Web Technologies
General Aptitude
Discrete Mathematics
Programming Languages