波斯特对应问题

波斯特对应问题 正文　　美籍波兰数学家E.L.波斯特于1944年提出...两个相同长度的表有没有匹配的问题称为波斯特对应问题。 　　由于图灵机的停机问题是不可判定的，可以推出波斯特对应问题也是不可判定的，即不可能找到一个...

图灵机

证明，图灵机与另一抽象计算模型──波斯特机器在计算能力上是等价的（见波斯特对应问题）。 　　人们还研究了图灵机的各种变形，如非确定的图灵机、多道...方法，它们分别适用于具有不同特征的问题。 　　参考书目 　M.Davis...

所属分类： 图灵机 数学术语 计算机术语 计算机系统

人工情感研究的争论

给定的输入符号串是不可计算的，“波斯特对应问题”是不可计算的，等等。他...是不可能实现的。他们认为，有些问题是可计算的，即对于这些问题存在可解的算法；但是还有一些问题不是可计算的，即对于这些问题不存在可解的算法。例如...

所属分类： 数理情感学 统一价值论

搜索波斯特对应问题相关的维吧