Beginner Theory of Computation
Q34 / 100

What is the difference between a recognizer and a decider?

Correct! Well done.

Incorrect.

The correct answer is B) A recognizer halts on accepted strings but may loop on rejected ones; a decider always halts on both

B

Correct Answer

A recognizer halts on accepted strings but may loop on rejected ones; a decider always halts on both

Explanation

A TM recognizer (enumerator) accepts members of the language but may loop forever on non-members. A TM decider (solver) always halts with yes/no for all inputs.

Progress
34/100