我的解决方案是否通过应用赖斯定理表明该语言是不可计算的？

Question

如果p是图灵机，则L（p）= {x | p（x）=是}。

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

是可计算的吗？给出答案。

所以我试图弄清楚如何解决这个问题，这是我想出的答案：

（i）因此我们知道A是一个非平凡的问题，因为某些图灵机L（p）是有限状态，而有些图灵机L（p）不是有限状态。

（ii）给定任意两台等效的图灵机p和q时的尊重等价。

 p ε A ⇒ p is a turing machine and L(p) is a finite set

       ⇒ q is a turing machine and L(q) is a finite set

       ⇒ q ε A

因此，通过应用赖斯定理，我们可以看到A是不可计算的。