标签： turing-machines
L = { | M是图灵机，{1}是L（M）}的子集
我确定它是可识别的。但是，我在确定它是否也可以识别并因此可确定时遇到了麻烦。 L的补码为 { | M是图灵机，{1}不是L（M）}的子集。这似乎是可以共同识别的，因为如果我们可以将1作为输入并看着TM拒绝它