Let L be a language and L be its complement. Which one of the following is NOT a viable possibility?
Topic-wise GATE CS PYQs with verified steps
GATE CSE 2014 Set 1 · Q35
Time
Select one answerSingle correct
Solution
Official answer: C) Both L and L are r.e. but not recursive.
Turing Machines and UndecidabilityA fundamental theorem in computability theory states that a language is recursive (decidable) if and only if both and its complement are recursively enumerable (r.e.).
From this theorem, the possible relationships between and are:
Both and are recursive (and hence both are r.e.).
One of or is r.e. but not recursive; the other must NOT be r.e.
Neither nor is r.e.
It is impossible for both and to be r.e. without both being recursive. Therefore, option C is NOT a viable possibility.
Try the question first, then check your work.
Examiner trap
Recall Post's theorem: if both a language and its complement are recursively enumerable, what does that imply about whether the language is recursive?
This Turing Machines and Undecidability previous year question is Q35 of the GATE CSE 2014 Set 1 paper. Find more GATE CSE PYQs on Turing Machines and Undecidability in Theory of Computation, or browse all GATE CSE PYQs.
Free diagnostic
Take the 20-minute diagnostic: the 3 topics that cost you the most marks, and a rank range. Or sit 5 related Turing Machines and Undecidability PYQs now with no account.
An official question by email at 7 AM IST, with a link to its verified solution. Unsubscribe in one click.
Turing Machines and Undecidability has 30 GATE CSE PYQs across 20 papers from 2012 to 2026. 13 of them are 2-mark MCQs like this one, and GATE CSE 2014 Set 1 has 2.
How GATE tests Turing Machines and UndecidabilityIndependent practice explanation verified by the GateAI team. GATE is conducted by the IITs; question text follows the official paper.