我需要证明L = {w | M_w接受1x iff它接受0x}不是递归的
我认为这应该是赖斯定理的简单应用，该定理指出对于递归可枚举语言的任何非平凡属性P，{w | M_w是图灵机并且L（M_w）在P}中不是递归的。我对此有点不确定，因为我不太确定什么构成财产;而且，我不知道如何表明它特别是递归可枚举语言的属性。
我对此有点不确定，因为我不太确定什么构成财产;
出于赖斯定理的目的，属性是关于某种语言的任何逻辑陈述（命题，谓词等），对于该语言来说，它是真或假的。如果声明既不是同义反复也不矛盾，那么财产就是不平凡的：也就是说，如果某些语言是真的而不是其他语言，则它是不平凡的。属性“| L | <0”是矛盾的，因此是一个微不足道的属性; “| L |> = 0”是同义反复的，因此是一个微不足道的财产; “| L | = 0”是一个非常重要的属性。
而且，我不知道如何表明它特别是递归可枚举语言的属性。
递归可枚举语言也是“只是语言”，它们的属性也是“只是语言”的属性。它们是字符串集，它们的属性都涉及字符串。不要挂断语言的特定属性是否是递归可枚举语言的属性：它是。即使不是这样，使用赖斯定理的证明也不会受到影响：如果知道该属性不适用于递归可枚举的语言并且是非常重要的，那么就知道语言不是递归的 - 赖斯的定理不是甚至是必要的