Questions tagged «turing-machines»

为了庆祝阿兰·图灵（Alan Turing）诞辰，Google发布了涂鸦，展示了一台机器。Doodle是哪种机器？可以表达图灵完整的语言吗？ 与经典图灵机有明显的区别：有限的磁带，如何连接状态的约束，... 涂鸦仍然在这里可用 （右上角的显示显示了预期的输出。） 中间的磁带被分成可以容纳一个空白，零或一个的正方形。头位于一个正方形上方，用于读取和写入。 在磁带下方，您可以看到一个绿色箭头，您可以单击该箭头以启动机器。旁边有两圈圆，其中一些圆是相连的。我称它们为“州”。 机器启动后，绿色按钮右侧的第一个状态会亮起，然后右侧的下一个状态会亮起，依此类推...每种状态都包含以下命令之一： 空白=不执行任何操作（只需移至下一个状态） 1 =在磁头的当前位置向磁带上写一个 0 =在磁头的当前位置将零写入磁带 向左箭头=将头向左移动一步 向右箭头=向右移头 条件：如果头部下方的值等于方块中所示的值，则转到状态的第二行。如果不是，请移至右侧的下一个状态 左跳：返回到（固定）先前状态，但仅在上一行[我最初忘了那个，谢谢@Marzio！] 无法“重叠”两次跳跃（一次越过）。当机器离开某个状态并且其右侧没有下一个状态时，机器将停止。 （在机器停止后，将磁带的内容与显示屏的内容进行比较，但是我不认为这是机器预期功能的一部分。）

10 cc.complexity-theory  turing-machines 

我是一名专注于分布式系统的研究生，但对理论计算机科学也很感兴趣。我想知道图灵机上是否有分布式系统的正式表示形式？也就是说，是否可以扩展（变型）图灵机的概念以利用分布式计算？ 一种想法是在TM之间制作一个共享磁带（类似于Tuple Space）。

10 turing-machines  dc.distributed-comp 

我在玩一个非常有趣且仍未解决的问题“ 单带图灵机的字母 ”（作者：Emanuele Viola），提出了以下语言： L={x∈{0,1}n s.t. |x|=n=2m and count1(x)=k∗m;n,m,k≥1}L={x∈{0,1}n s.t. |x|=n=2m and count1(x)=k∗m;n,m,k≥1}L = \{ x \in \{0,1\}^n \text{ s.t. } |x| = n = 2^m \text{ and } count1(x) = k * m; \; n,m,k \geq 1 \} 其中是字符串x 中的个数。count1(x)count1(x)count1(x)111 例如，如果x = 01101111，则n = 8，m = 3，k = 2；所以x∈Lx∈Lx …

10 cc.complexity-theory  turing-machines  time-complexity 

多数文献似乎都针对具有特定问题的单个预言机的机器，但是似乎有几篇论文考虑了具有多个预言机的机器。是否有一篇很好的论文或论文概述了有关此类机器的知识？我特别对带有多个预言的P感兴趣。

10 oracles  turing-machines 

我有一段时间对图灵机只有一个磁带和三个状态（即开始状态）感到好奇 q0q0q_0，接受状态和拒绝状态）。请注意，我允许使用任意（有限）的磁带字母（即，磁带字母不限于等于输入字母）。qacceptqacceptq_{accept}qrejectqrejectq_{reject} 为了方便起见，请调用此类TM识别的语言类别。我对这堂课有几个疑问：C3C3C_3 以前是否研究过？C3C3C_3 是否知道等于其他任何感兴趣的复杂性/可计算性类别？C3C3C_3 类对模型的更改是否健壮。例如，如果允许在单个过渡期间使用所使用的TM（而不是始终向左或向右移动），或者如果使磁带在两个方向（而不是仅向右）都是无限的，则该类3状态1磁带TM更改可识别的语言种类？C3C3C_3 如何涉及类正规语言的，？（特别是，每种常规语言都使用吗？）C3C3C_3RegularRegularRegularC3C3C_3 （相当粗略的）搜索仅显示此cs.stackexchange帖子，该帖子相关但没有回答我的问题和本文，但我没有足够详细地阅读以确保它确实涉及类，而不是相似但不同的类（本文声称证明（1）每种语言都是可判定的，并且（2）和是具有非空交集的不同类）。正如在cs.stackexchange帖子的评论中所指出的那样，可以将这类TM视为非常​​特殊的细胞自动机，因此也许了解细胞自动机理论文献的人可能会有所帮助。C3C3C_3C3C3C_3C3C3C_3RegularRegularRegular

9 automata-theory  turing-machines  cellular-automata 

有限访问的不确定性线性有界自动机只能识别常规语言吗？ 用非确定性线性有界自动机（nLBA）表示单带非确定性图灵机，其中输入端“填充”有两端标记，并且永远不会被覆盖，因此磁头永远不会移出输入区域，在标记之外。 如果有数字，则LBA有界访问 ķkk这样所有输入上的所有运行都将终止并最多访问磁带的每个单元ķkk 次。 这样的机器只能识别普通语言吗？如果我没看错，Hennie的结果似乎只对确定性机器说了这一点。结果也适用于不确定性机器吗？如果是，将不胜感激。

9 automata-theory  turing-machines  regular-language  space-bounded 

我有一个幼稚的问题：是否存在一种图灵机，其终止是正确的，但无法通过任何自然，一致且可有限公理化的理论来证明？我只要求存在证明而不是具体示例。 这可能与顺序分析有关。确实，对于图灵机MMM，我们可以定义 O(M)O(M)O(M)作为证明其终止（或这些序数的最小值）的一致理论的最小序数。所以我想问问是否存在MMM 这样 O(M)≥ωCK1O(M)≥ω1CKO(M) \geq \omega_1^{CK}？

9 turing-machines  proof-theory  halting-problem