Computer Science · Theory of Computation
Which of the following computational problems is mathematically proven to be undecidable?
- 1Emptiness problem for a Context-Free Grammar (CFG)
- 2Membership problem for a Deterministic Finite Automaton (DFA)
- 3Halting problem for a standard Turing Machine✓
- 4String acceptance problem by a Pushdown Automaton (PDA)
Correct answer
Halting problem for a standard Turing Machine
Download Single Question PDF
Save this question and verified answer as a clean study sheet with live clickable link.
Share with Friends & Study Groups
Challenge your peer aspirants on WhatsApp or Telegram to solve this question!
Preparing for Computer Science?
Practice full-length mock tests with real exam timers, instant score analysis, and all-India ranking.
Want more practice questions on Theory of Computation?
Solve complete topic-wise tests with detailed solutions on GkGet.
Related Practice Questions
Recommended practice questions in Computer Science · Theory of Computation