标签： theory computation-theory
基本上我试图证明rejTM使用递归是不可判定的。我知道你基本上假设语言有一个更低的H，你构造一个获得自己代码的TM M，在自己的代码上模拟H，并且与H告诉我们自己的行为相反
我只是不知道如何申请..就像我只是不理解它。 另外，我如何将RejTM更改为不同的集合，如allTM或infTM