If p is a Turing machine then L(p) = {x | p(x) = yes}.

Let A = {p | p is a Turing machine and L(p) is a finite set}.

Is A computable? Justify your answer.

So I'm trying to figure out how to solve this practice problem and was wondering if the following solution would be valid for this question.

Yes, A is computable, here is an algorithm that solves it.

If P is a turing machine then L(P) is the set of all strings so that, when you run P on input x, P eventually stops and accepts x.

is x in P?(P, x)

  1. Run P(x)

  2. if x is a member of P,

  3. answer yes

  4. else

  5. answer no


closed as off-topic by Bjørn Kjos-Hanssen Nov 3 '18 at 7:32

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "Your question does not appear to be a research-level question in theoretical computer science. For more information about the scope, please see help center. Your question might be suitable for Computer Science which has a broader scope." – Bjørn Kjos-Hanssen
If this question can be reworded to fit the rules in the help center, please edit the question.