纯 Prolog 图灵完备，如果是，为什么不能实现列表交集?
关于这个主题的维基百科部分是一团糟.它指出: Pure Prolog 基于图灵完备的一阶谓词逻辑 Horn 子句的子集.Prolog的图灵完备性可以通过模拟图灵机来展示: (强调) 然后它继续显示使用非 Horn 子句的代码(! 和 once): turing(Tape0, Tape) :-执行(q0，[]，Ls，Tape0，Rs)，反向(Ls，Ls1)，附加(Ls1，Rs，磁
..
turing-machines相关内容
什么是图灵完备?
“图灵完备"是什么意思? 你能不能简单解释一下，不涉及太多理论细节? 解决方案 以下是最简短的说明: 图灵完备系统是指可以编写程序来找到答案的系统(尽管不保证运行时间或内存). 所以，如果有人说“我的新事物是图灵完备"这意味着原则上(尽管通常不会在实践中)它可以用来解决任何计算问题. 有时这是个笑话……有人用 vi 编写了图灵机模拟器，所以可以说 vi 是世界上唯一
..
是纯Prolog Turing-complete，如果是，为什么不能实现列表交集?
关于这个主题的维基百科部分是一团糟.它指出: Pure Prolog 基于一阶谓词逻辑 Horn 子句的子集，它是图灵完备的.Prolog 的图灵完备性可以通过使用它来模拟图灵机来展示: (强调) 然后它继续显示使用非 Horn 子句的代码(! 和 once): turing(Tape0, Tape) :-执行(q0，[]，Ls，Tape0，Rs)，反向(Ls，Ls1)，追加(
..
寻找图灵不完整的语言
我对和
..
说不确定的图灵机可以在多项式时间内求解NP有什么后果？
这些天，我一直在研究NP问题，计算复杂性和理论。我相信我终于掌握了Turing Machine的概念，但我有一些疑问。为读取给定的状态和符号做准备，并且它将始终选择最佳选择，如Wikipedia所述 NTM如何“知道”应该采取哪些 动作？有两种 的查看方式。一个是说 这台机器是“最幸运的 猜测者”；它总是选择 过渡，如果有这样的 过渡，最终会导致 成为接受状态。另一个是想像
..
图灵机上欧几里得最大公约数算法的复杂性
考虑Euclid算法的这种实现: function gcd(a, b) while b ≠ 0 t := b b := a mod b a := t return a 关于维基百科的一个很好的证据表明，该算法“总是需要少于O(h)除法，其中h是较小数字b“中的位数. 但是，在图灵机上，计算mod b的过程的时间复杂度为O(a
..
乔姆斯基层次结构和编程语言
我正在尝试学习与编程语言相关的Chomsky层次结构的某些方面，而我仍然必须阅读《龙书》. 我已经读到大多数编程语言都可以解析为上下文无关文法(CFG).就计算能力而言，它等于下推式不确定性自动机之一.我说的对吗? 如果这是真的，那么CFG如何保存一个无限制的语法(UG)，该语法即将完成?我之所以问是因为，即使CFG描述了编程语言，它们实际上也被用来描述图灵机，因此是通过UG.
..
L = {T | T是可识别{00，01}}的图灵机
L = { | T是可识别{00，01}} 的图灵机 证明L不确定. 我什至在理解要在此处使用减少量的过程中都遇到了困难. 我不是要免费午餐，只是朝着正确的方向前进. 解决方案 赖斯定理的直接应用将使您无需做任何工作即可证明这一点. 某些图灵机识别出{00，01}.有些没有.区别在于语义，因为它与接受的字符串有关，而不与自动机的结构有关.因此，根据赖斯定理，该
..
图灵机可以执行Quicksort吗?
据我所知，可以使Turing机器执行在Tape上编码的指令的循环或迭代.这可以通过识别行分隔符并使Turing机器返回直到达到特定数量的行分隔符(即在循环内部)来完成. 但是，图灵机还能执行递归程序吗? 有人可以描述这种图灵机的各种细节吗? 我想，如果可以通过Turing机器执行递归操作，那么还可以执行Quicksort吗? 解决方案 如果问题是图灵机是否可以执行排序算法，则答
..
什么是图灵机?
什么是图灵机?为什么人们不断提到它?我的IBM PC是我进行计算所需的全部！为什么有人会在意这些机器? 解决方案 图灵机如此重要的原因与对经典计算科学或计算理论的研究有关.基本上，这是分析计算机的一般属性，例如计算机的理论能力和局限性，以及当我们谈论“计算"某物时的意思. 停止问题是一个可以使用图灵机学习的示例.尽管此问题是学术活动，但它对现实世界的影响很明显.为什么不编写一个调试器
..
有限自动机，下推自动机和图灵机示例
我正在寻找有限自动机，下推自动机和图灵机任务示例(用于手动手动解决)的良好来源. 我正在四处搜寻，但没有发现任何特别之处，因此我想知道是否有人提供了一些很好的例子.预先感谢. 解决方案 您最好的选择是获取有关该主题的书，例如有关自动机问题集和解决方案的信息，请查看希望这会有所帮助！
..
我不了解非确定性图灵机的概念
我不理解非确定性图灵机的概念。我想我理解术语非确定性算法 ：（非确定性算法是一种可以在不同的 运行中表现出不同行为的算法，而不是确定性算法。）因此，该算法可能像： a = fromSomeAlgo（）; if（a> foo） stateA（）; else stateB（）; 但是对于非确定性图灵机，我阅读，它可以包含多个在给定时间的一种状态。另外，维基
..
“燕尾”是什么意思？
在亚马逊上阅读斯蒂芬·沃尔夫拉姆（Stephen Wolfram）的“一种新型科学”的评论时，我遇到了以下说法： 每个计算机科学（CS）学生知道燕尾榫，燕尾榫是一个非常简单的2行程序，可以系统地列出并执行通用计算机（例如，图灵机（TM））的所有可能程序。 有人可以给一个“简单的两行程序”来说明“鸠乱”吗？ 解决方案 CS学生通常手头上会将Turing机器编码为整数，这是他们编写
..
磁带中输入字符串的表示方式?
我知道在巡回演出的机器中，(不同的)磁带既用于输入，输出，也用于堆栈.在使用图灵机将两个数字相加的问题中，输入要处理许多符号，例如1,0，B(blank)，+. (这个问题与物理学有关，我在这里问是因为我认为他们可能不了解图灵机及其输入.) 我的疑问是， 如果输入为BBBBB1111 + 111111BB， 然后用磁带 1->以北极表示(例如). 0->以南极表示(例如).
..
数据挖掘术语“成熟"?
请告诉我们什么是“成熟的KI"?据我了解，它是用于文本分析的数据挖掘的一部分.我对吗?一些有趣且有用的链接会很好！ 谢谢！ 解决方案 通过“完全成熟"，他可能表示“完全成熟"，定义为 充分发展或成熟 具有全职或地位 来源:thefreedictionary.com 不确定KI，但可能意味着: http://en.wikipedia.org/wiki/Know
..
您什么时候遇到现场停顿问题?
您何时亲自遇到 停止问题 在该领域?可能是因为同事/老板提出了一种解决方案，该解决方案违反了计算的基本限制，或者是您意识到自己要解决的问题实际上是无法解决的. 我最近想到的是在研究类型检查器时.我们的班级意识到，不可能编写出完美的类型检查器(该检查器将接受所有将运行且没有类型错误的程序，并拒绝所有将出现类型错误的程序)，因为这实际上可以解决暂停问题.另一个是当我们意识到在同一个类中，在类型检
..
在Erlang中实现图灵机
我有一个小项目，它非常类似于实现图灵机。我的基本问题是保存当前配置，例如。头的位置和进一步的信息。对我重要的是，特别是节省了头部位置向前或向后移动他。什么是Erlang的方式来解决这个问题？ 我是Erlang的新人，但就我所探索的OTP gen_event行为是适合的。我的想法是通过最初的头部位置，然后通过处理程序更改它。 解决方案 在Erlang中，和其他函数式语言一样，你必须明确
..
时间复杂度与空间的图灵机的复杂性
我觉得时间复杂度和空间复杂度图灵机defenitions是相同的，我不能区分 他们之间。 请帮助我。谢谢你。 解决方案 通过关于图灵机，时间复杂度是多少次磁带转动，当机器上启动某些输入的量度。空间复杂性是指如何磁带许多细胞被写入机器运行时 一个TM的时间复杂被连接到它的空间的复杂性。特别是，如果周二空间中的TM的复杂性为f（w）的输入瓦特，那么其时间复杂度必须至少为F（w）的，由于带具有移动
..
在图灵机的荷兰国旗
我有个字符XXXXXX序列（其中x ^ k和K> 0） 我的目标是把这个句子译成荷兰标志，即： 为XXXXX - > RRWWBB XXXX - > RWBB 与R＆LT; = W＆LT; = B 这是我发现所有的解决方案，具有非常高的复杂性。 你有任何提示/线索，以帮助我建立一个图灵机只用一盘磁带和一个头/光标？ 解决方案 如何划分任务为子任务，如： 更改最近X为B. 更改最近X为W
..