Turing Machine: RE, REC and Undecidability GATE 2014 Question #2739 with Solution

GATE 2014 · Set-2

Theory of ComputationTuring Machine: RE, REC and UndecidabilitymediumMCQ1 mark

Let A≤mB denotes that language A is mapping reducible (also known as many-to-one reducible) to language B.Which one of the following is FALSE?

AIf A≤mB and B is recursive then A is recursive.BIf A≤mB and A is undecidable then B is undecidable.CIf A≤mB and B is recursively enumerable then A is recursively enumerableDIf A≤mB and B is not recursively enumerable then A is not recursively enumerable

Save your progress

Related Theory of Computation PYQs

GATE 2014 · Set-2

Let <M> be the encoding of a Turing Machine as a string over Σ = {0,1}. Let L = {<M> | M is a Turing Machine that accepts a string…

GATE 2014 · Set-3

Let Σ be a finite non-empty alphabet and let 2^(Σ*) be the power set of Σ*. Which of the following is TRUE?

GATE 2014 · Set-2

Which of the following decision problems regarding formal languages is UNDECIDABLE?

GATE 2014 · Set-2

Let <M> be the encoding of a Turing machine as a string over Σ = {0, 1} Let L = { <M> |M is a Turing machine that accepts a string…

GATE 2014 · Set-3

Let Σ be a finite non-empty alphabet and let 2Σ* be the power set of Σ*. Which one of the following is TRUE?

GATE 2014 · SET - 1

Which of the following regular expressions represents the language of all strings over {0, 1} that start with '0' and end with '1'…

Saved progressKeep answers, mock results and completion history across devices.

Adaptive practiceGet questions matched to your recent accuracy and difficulty level.

Bookmarks and notesBuild a personal revision list and record why a question was difficult.

Performance insightsSee weak subjects, accuracy trends, streaks and exam readiness.

Related Theory of Computation PYQs

Turn practice into measurable progress