The GATE Grind

GATE 2011 CS (CS1) – Question 18

Theory of Computation · Turing Machines and Undecidability · 1 mark · Multiple choice

Which pair has different expressive power?

  1. DFA and NFA
  2. Deterministic PDA and nondeterministic PDA
  3. Deterministic single-tape TM and nondeterministic single-tape TM
  4. Single-tape TM and multitape TM

Practise this question in The GATE Grind →

Show answer and explanation

Correct answer: (B) Deterministic PDA and nondeterministic PDA

Explanation

DFAs and NFAs recognize the same regular languages. Deterministic and nondeterministic TMs, including multitape variants, have equal language-recognition power. Deterministic PDAs recognize only a proper subset of context-free languages, unlike NPDAs. Thus B.

More Turing Machines and Undecidability questions

All Turing Machines and Undecidability questions →