Which of the following statements is correct?
A) scientists still think it is necessary to write a Turing machine when they talk about an algorithmic computation
B) a Turing machine that is executing an algorithm to solve some task must halt when begun on a tape containing input appropriate to that task
C) a Turing machine that is executing an algorithm to solve some task need not halt when begun on a tape containing input appropriate to that task
D) just running the Turing machine enables us to decide about halting

Question

Quizplus · Accepted Answer

According to the definition of a Turing machine, it must halt when begun on a tape containing input appropriate to that task. Option A is incorrect as scientists now use other models of computation as well. Option C is contradictory to the definition. Option D is also incorrect as simply running the Turing machine does not provide information about whether it will halt or not.

Which of the Following Statements Is Correct