Questions tagged «cellular-automata»

引用维基百科，“ [[Conway的人生游戏]具有通用图灵机的功能：也就是说，可以在Conway的《人生游戏》中计算出任何可以通过算法计算的东西。” 这样的结果会扩展到Conway的《人生游戏》的嘈杂版本吗？最简单的说法是，每一轮之后用小概率每一个活细胞的模具，每死细胞成为活着的小概率小号（独立）。ŤŤtsss 另一种可能性是考虑游戏规则本身的以下概率变体。 任何具有少于两个活邻居的活细胞都以概率死亡。1 − t1个-Ť1-t 任何具有两个或三个活邻居的活细胞都以概率存活到下一代。1 − t1个-Ť1-t 任何具有三个以上活邻居的活细胞都以概率死亡。1 − t1个-Ť1-t 正好有三只活邻居的死细胞变得与概率的活细胞。1 − t1个-Ť1-t 问题：这些嘈杂的“人生游戏”版本是否仍支持通用计算？如果不是，那么他们的“计算能力”又如何呢？ 与细胞自动机的计算能力和细胞自动机的嘈杂版本有关的信息也将受到赞赏。 （从发达国家这个问题这个问题上MathOverflow。文森特Beffara的回答上了MO上嘈杂的元胞自动机计算方面的相关结果有趣的引用。）

30 cc.complexity-theory  pr.probability  cellular-automata  fault-tolerance 

我有一段时间对图灵机只有一个磁带和三个状态（即开始状态）感到好奇 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