P 不可判定且不可半判定，Q 不可判定且半可判定且 P ⊂ Q
P is undecidable and not semidecidable, Q is undecidable and semidecidable and P ⊂ Q
我的问题：定义两组词P和Q（即两个问题）使得：
P 不可判定且不可半判定，Q 不可判定且半可判定且 P ⊂ Q
此类集合的一个示例：
将 Q 定义为一组图灵机，它在空输入时停止。将 P 定义为一组图灵机，它在每次输入时停止。
显然 P ⊂ Q 和 P 是不可判定且不可半判定的，但 Q 是不可判定且半可判定的。
我的问题：定义两组词P和Q（即两个问题）使得： P 不可判定且不可半判定，Q 不可判定且半可判定且 P ⊂ Q
此类集合的一个示例：
将 Q 定义为一组图灵机，它在空输入时停止。将 P 定义为一组图灵机，它在每次输入时停止。
显然 P ⊂ Q 和 P 是不可判定且不可半判定的，但 Q 是不可判定且半可判定的。