P是不可判定的而不是半可分的，q是不可判定的和半可判定的，P⊂q是不可判定的。

Question

我的问题:定义单词的两个集合P和q(即两个问题)：P是不可判定的和不半可的，q是不可判定的和半可判定的，P是⊂q的。

Answer 1

这方面的一个例子是：

将q定义为一组图灵机器，它在空输入时停止。将P定义为图灵机器的集合，它会在每一个输入上停止。

很明显，P⊂q和P是不可判定的，不是半可分的，但q是不可判定的和半可判定的。