图灵机
下面假设存在图灵机 "M"1 和 "M"2 分别识别"S" 和 "S" 的补，我们可以构造一个图灵机 "M" 如下：