P是不可判定的，不是半酰胺的，Q是不可判定的，半可除去的和P⊂Q

Question

我的问题：定义两组P和Q（即两个问题），这样： P是不可判定的，不是半酰胺的，Q是不可判定的，可以是半酰胺的，P⊂Q

Answer 1

此类集的一个例子：

将Q定义为图灵机的集合，它停止空输入。将P定义为图灵机的集合，在每次输入时停止。

显然P⊂Q和P是不可判定的，不是半瑕疵的，但Q是不可判断的和半可辨的。