我必须证明减少量：HALTING≤HALTING5，其中HALTING（M，x）是正常停止问题，但如果M-Turing Machine程序并且存在至少5个不同的x，则HALTING5（M）= 1图灵机M停止
我试图显示这样的减少量：
我们采用HALTING5（M，w）和 （M'，w'）其中M是任意普通的TM，w是M的输入字母上的字符串，M'是暂停或运算后的结果，w'是在检查字符串集w = {之后的结果x}，并且仅当M'接受w'时M接受w。给定任何M，令M'为在TM中构造的DMTM，令w'= f（w），其中f为函数和w的一部分。现在，由于停靠点数量很大，我们可以看到搜索包含三个字符串。而且其中只有一个自变量M，与HALTING5相比，停止或停止的次数最少。 与HALTING相比，这是由于HALTING5中存在大量变量。
我真的不确定这是否是减少费用的正确方法，所以每一个建议都是好消息！