这篇文章探讨了多个图灵机冠军,包括S(5)、BBB(4)和S(2,4)冠军,发现它们都模拟了相同的类柯拉兹轨迹。这种轨迹在统计上不太可能出现,这表明这些图灵机可能利用了这种“幸运”的轨迹来实现其长时间运行。
本文介绍了Pavel发现的一种3状态4符号图灵机,它能够计算“阿克曼级别”的函数,并在纸带上留下[(2↑^15 5)+14]个非零符号后停止。文章详细分析了该图灵机的行为,并通过双重归纳法证明了其停止性。此外,文章还探讨了该图灵机的不同起始状态对其最终得分的影响,并将其与其他已知图灵机进行了比较。