Theory 使用递归定理，RejTM是不可判定的
基本上，我试图用递归证明rejTM是不可判定的。我知道，你基本上假设语言中有一个decdier H，你构造一个TM M，它得到我们自己的代码，在自己的代码上模拟H，并做与H告诉我们的关于我们自己行为的相反的事情 我只是不知道如何运用这个。。好像我就是不明白。 另外，我如何将RejTM更改为不同的集合，如allTM或infTMTheory 使用递归定理，RejTM是不可判定的,theory,computation-theory,Theory,Computation Theory,基本上，我试图用递归证明rejTM是不可判定的。我知道，你基本上假设语言中有一个decdier H，你构造一个TM M，它得到我们自己的代码，在自己的代码上模拟H，并做与H告诉我们的关于我们自己行为的相反的事情 我只是不知道如何运用这个。。好像我就是不明白。 另外，我如何将RejTM更改为不同的集合，如allTM或infTM