计算性 问答列表

证明以下问题无法通过停止问题的约简来判定:

作者:Suleyman Kiani 提问时间:4/17/2023

证明以下问题无法通过停止问题的约简来判定: “给定的图灵机 M 是否接受 k ≥ 1 的任何形式为 a^2k 的字符串?” 我很难理解停止问题减少背后的直觉,有人可以直观且易于理解地解释为什么会这...


共1条 当前第1页