提问人：Suleyman Kiani 提问时间：4/17/2023 更新时间：4/17/2023 访问量：39
证明以下问题无法通过停止问题的约简来判定：
Prove that the following problem is undecidable by a reduction from the halting problem:
问：
证明以下问题无法通过停止问题的约简来判定：
“给定的图灵机 M 是否接受 k ≥ 1 的任何形式为 a^2k 的字符串？”
我很难理解停止问题减少背后的直觉，有人可以直观且易于理解地解释为什么会这样吗？我在网上看过一些视频并研究了一些材料，但是，很难理解这个概念。
答： 暂无答案
评论