GATE 2016 · CS2 - Afternoon
L1 = { <M> | M takes at least 2016 steps on some input }, L2 = { <M> | M takes at least 2016 steps on all inputs }, L3 = { <M> | M accepts ε }. Which is TRUE?
Related Theory of Computation PYQs
Which of the following languages is generated by the given grammar: S -> aS | bS | ε?
Which of the following decision problems are undecidable? I. Given NFAs N1 and N2, is L(N1) ∩ L(N2) = Φ? II. Given a CFG G and a s…
Which one of the following regular expressions represents the set of all binary strings having two consecutive 0s and two consecut…
Consider the following grammars. \[ \begin{aligned} G_1 &: S \to aS \mid B, \quad B \to b \mid bB \\ G_2 &: S \to aA \mid bB…
Consider the transition diagram of a PDA with Σ = {a, b} and stack alphabet Γ = {X, Z}. Z is the initial stack symbol. Transitions…
Let X be recursive, Y be RE but not recursive. Let W and Z be languages such that Y' reduces to W, and Z reduces to X'. Which stat…
Free account benefits
Turn practice into measurable progress
Public PYQs and reference pages stay free. Sign in when you want GATEverse to remember what you studied and guide what to practise next.
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.