Multiple choice

Consider the following problem x:

Given a Turing machine M over the input alphabet $\sum$, any state q of M. A word w $\in\sum^*$ does the computation of M on w visit the state q.

Which of the following statements about x is correct?

  1. x is decidable.

  2. x is undecidable but partially decidable.

  3. x is undecidable and not even partially decidable.

  4. x is not a decision problem.

Reveal answer Fill a bubble to check yourself
A Correct answer
Explanation

Since it is possible to create a Turing machine for the problem, so this problem is decidable.