Pseudo-random Sequences Generated by Cellular Automata
Bruno Martin, Patrick Solé
综述了元胞自动机和混合元胞自动机产生伪随机序列的方法。给出了几类布尔函数的快速求值和FPGA实现的应用。
Generation of pseudo random sequences by cellular automata, as well as by hybrid cellular automata is surveyed. An application to the fast evaluation and FPGA implementation of some classes of boolean functions is sketched out.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Simulations between triangular and hexagonal number-conserving cellular automata
数守恒元胞自动机是一种状态为整数的元胞自动机，其转换函数在整个演化过程中保持所有元胞的和不变。它可以被看作是质量或能量守恒定律的一种模型化。在本文中，我们首先提出了一个必要条件，三角形和六角形细胞自动机是数量守恒。局部转移函数表示为任意两个函数之和，可以看作是数的“流”。充分性是通过关于保数元胞自动机的一般结果得到的。然后，利用前面的流函数，我们可以构造出六角元胞自动机和三角元胞自动机之间有效的保数模拟。
Communication Complexity and Intrinsic Universality in Cellular Automata
普适性和完备性的概念是计算和计算复杂性理论的核心。然而，在大多数情况下，证明下界和必要条件仍然很困难。在这篇文章中，我们介绍了必要条件的细胞自动机是“普遍的”，根据一个精确的概念模拟，既涉及到细胞自动机的动力学和它们的计算能力。这种模拟的概念依赖于空间-时间重新缩放的简单操作，它是细胞自动机模型的固有特性。内在普适性是一个派生的概念，它比图灵普适性更强，但更统一，更容易定义和研究。我们的方法建立在通信复杂性的概念，这主要是为了研究并行程序，因此，正如我们在这篇文章中所展示的，特别适合于研究细胞自动机：它允许显示，通过研究细胞自动机的动力学自然问题，几类细胞自动机，以及许多自然（小学）的例子，不能本质上是普遍的。
k-neighborhood for Cellular Automata
引入了一个d维元胞自动机的邻域，它使用一个参数表示连接相邻单元的超立方体的维数，该参数跨越了从von Neumann到Moore邻域的范围。邻域被扩展以包括半径的概念。计算邻居的数量。对于菱形邻域，得到了一个部分和等于Delannoy数的序列。
Cellular automata on regular rooted trees
我们研究了正则有根树上的元胞自动机。这包括sofic树移位的表征方面的不受限制的拉宾自动机和可判定性的满射问题之间的sofic树移位的细胞自动机。
Decidability and Characterization of Expansivity for Group Cellular Automata
本文刻画了阿贝尔群上群元胞自动机的扩张性，证明了一般群上扩张性的可判定性，并指出扩张类严格包含于拓扑传递单射类。
Elementary Cellular Automata as Multiplicative Automata
该研究将初等元胞自动机（ECA）转换为乘法版本，通过置换伽罗瓦域和八元数乘法表扩展至复数域，找到恒等解并生成多项式，还完成了Java实现。
About Strongly Universal Cellular Automata
本文在具有11个状态和标准邻域的直线上构造了一个强泛元胞自动机。我们将这种结构嵌入到双曲平面和双曲3D空间的几个平铺中，从而产生具有10个状态的强通用元胞自动机。
Revisiting the Rice Theorem of Cellular Automata
元胞自动机是一种并行同步计算模型，它由一组有限自动机组成，它们的状态根据相邻自动机的状态演化。它诱导一个动力学系统的配置，即无限序列的细胞状态。元胞自动机的极限集是在进化的任意后期可以达到的配置的集合。本文证明了二元状态元胞自动机的极限集除满射性外的所有性质都是不可判定的。这是经典的“赖斯定理”的改进，卡里证明了细胞自动机与任意状态集。
Simple Cellular Automata-Based Linear Models for the Shrinking Generator
分析了两个著名的密钥流生成器家族，收缩生成器和元胞自动机的结构特性。重点讨论了由这两种生成器得到的二元序列的等价性。事实上，收缩生成器（SG）可以用线性元胞自动机的子集（主要是规则90，规则150或两种规则的混合组合）来识别。这些细胞模型的线性可以有利地用于这些密钥流生成器的密码分析中。
Cellular Automata in Stream Ciphers
一个广泛的家庭的非线性序列发生器，所谓的时钟控制收缩发生器，已被分析和识别的一个子集的线性细胞自动机。将给定的生成器转换为基于自动机的线性模型的算法非常简单，并且可以应用于实际感兴趣的范围。由于这些自动机的线性以及此类生成器的特性，可以提出一种密码分析方法。线性元胞结构很容易模拟密钥流生成器，并应用于流密码学。
Circular Motion of Strings in Cellular Automata, and Other Surprises
一个两个国家，三维的，确定性的，可逆的元胞自动机被证明是能够近似圆形的轨道，波状起伏，和粒子状的配置，按照半衰期法衰减。
On a characterization of cellular automata in tilings of the hyperbolic plane
在本文中，我们期待在扩展的Hedlund的细胞自动机的表征的情况下，细胞自动机在双曲平面。这需要一个附加条件。新的定理证明与充分的细节的情况下的五角光栅和在情况下的三元七角光栅和足够的迹象表明，它也持有的网格$\{p,q\}$的双曲平面。
Construction of Minkowski Sums by Cellular Automata
本研究提出在一维元胞自动机列中构造两个可出现在元胞自动机列中的集合的闵可夫斯基和的方法，借此得到三平方和整数集合的新构造，解答了作者此前提出的相关问题。
Differentiable cellular automata
我们描述了一类细胞自动机（CA）是端到端可微的。DCA通过作用于状态分布的规则来插值普通CA的行为。DCA相对于其参数的梯度可以使用迭代传播方案来计算，该迭代传播方案使用先前计算的梯度和值。在DCA上的基于一致性的优化可以用于找到具有所需属性的普通CA。
Stochastic Cellular Automata: Correlations, Decidability and Simulations
本文介绍了一种简单的形式化方法，用于统一地、可组合地处理确定性、非确定性和随机性细胞自动机。这种形式主义允许局部概率相关性，这是不存在于通常的定义中的功能。我们表明，这个功能允许严格更多的行为（例如，数量守恒的随机细胞自动机需要这些本地概率相关性）。我们还表明，几个问题，这是看似简单的通常的定义，成为不可判定的，当我们允许当地的概率相关性，即使在一维。有了这种形式主义，我们扩展了确定性细胞自动机之间的内在模拟的概念，非确定性和随机设置。虽然内在的模拟关系在二维和更高的维度上变得不可判定，我们提供了明确的工具来证明或反驳任何两个给定的随机细胞自动机之间存在这样的模拟。这些工具依赖于平等的随机全球地图的表征，被证明是等价的随机源之间的随机耦合的存在。我们应用它们证明了不存在普适的随机元胞自动机。然而，我们提供了随机细胞自动机实现最佳的部分普遍性，以及一个普遍的非确定性细胞自动机。
Cellular automata between sofic tree shifts
研究了有限秩正则根树$A^{Σ^*}$的sofic树移位，其中$Σ^*$是有限秩正则根树.特别是，我们给他们的刻画的不受限制的拉宾自动机。证明了如果$X \subset A^{Σ^*}$是sofic树移位，则在移位作用下轨道有限的$X$中的组态在$X$中是稠密的，并由此推论出每个内射元胞自动机$τ\colon X \to X$都是满射的.此外，给出了sofic树移位的一般Rabin自动机的一个刻画。我们提出了一个算法，以确定是否两个无限制拉宾自动机接受相同的sofic树移位或没有。这使我们能够证明sofic树移位之间的元胞自动机满射性问题的可判定性。我们还证明了有限型树移位上定义的细胞自动机的内射性问题的可判定性。
Rice's theorem for generic limit sets of cellular automata
元胞自动机的一般极限集是一组拓扑化的简化集，旨在捕获渐近行为，同时避免非典型行为。它是由米尔诺提出的，然后由杰纳维和吉隆首先研究，后来又由T{<$}rm{ä}研究。他们给出了这个集合与元胞自动机的动力学相关的性质，以及其语言的最大复杂性。本文证明了这些元胞自动机一般极限集的所有非平凡性质都是不可判定的。
The Mirage of Universality in Cellular Automata
本说明是关于元胞自动机的例子和结果的调查，目的是回顾没有“通用”的方法可以在计算上通用。特别是，我们展示了一些细胞自动机可以嵌入有效的，但有界的计算，而其他人可以嵌入无界的计算，但效率不高。我们还研究了布尔电路嵌入的两种变体，瞬态与可重复模拟，并强调它们的差异。最后，我们展示了如何强大的形式的普遍性可以隐藏在一些看似简单的细胞自动机根据一些经典的动力学参数。
Phase Space Invertible Asynchronous Cellular Automata
虽然对于同步确定性细胞自动机有一个公认的可逆性定义，但异步细胞自动机的情况不太清楚。我们首先讨论了几种可能性，然后研究我们称之为相空间可逆异步细胞自动机更详细。我们将证明，对于每一个图灵机，都有这样一个元胞自动机来模拟它，并且即使在更高的维度上，异步元胞自动机是否具有这种性质也是可判定的。
Unraveling simplicity in elementary cellular automata
我们表明，大量的基本元胞自动机是计算简单。这项工作是第一个系统的分类基础上的正式概念的计算复杂性的基本细胞自动机。由于通信复杂性的普遍性，我们的方法的前景包括其应用到其他自然系统，如神经网络和基因调控网络。
Signals for Cellular Automata in dimension 2 or higher
我们研究了如何增加数组的维数来帮助细胞自动机提取信号，我们证明了在任何维度上都存在可构造信号的缺口。我们展示了两个元胞自动机在2维，以表明，增加的维度可以减少一些建设所需的状态数。
On number of nonzero cells in some two-dimensional reversible second-order cellular automata
本文证明了二维可逆二阶元胞自动机在第$n$步具有非零值的元胞个数的递推方程。初始配置是一个单元格，值为1，所有其他值为0。
Strictly Temporally Periodic Points in Cellular Automata
研究满射细胞自动机中的严格周期点集，即，对于给定的自动机，时间上是周期性的但空间上不是周期性的那些配置的集合。这个集合对于几乎等度连续满射元胞自动机是稠密的，而对于正扩张元胞自动机是空的。在加法细胞自动机类中，严格周期点集可以是稠密的，也可以是空的。后者发生当且仅当细胞自动机是拓扑传递的。
Topological properties of cellular automata on trees
证明了不存在定义在满k元树移位上的正扩张元胞自动机（k>=2）。此外，我们还研究了这些自动机的一些拓扑性质以及它们之间的关系，即置换性、满射性、预内射性、右闭性和开性。
On the Garden of Eden theorem for non-uniform cellular automata
本文扩展了非均匀元胞自动机的伊甸园定理，定量揭示部分预内射性与像大小的关系，并为强不可约有限型子移位上的多维元胞自动机提供了增强的满射性结果。
On reversible asynchronous non-uniform cellular automata
研究了任意群论域上具有多个局部转移规则的异步非均匀元胞自动机（ANUCA）。我们引入了稳定内射性、稳定可逆性、稳定后满射性的概念，并研究了这类自动机的动力学性质。特别是，我们建立可逆性，稳定的可逆性，稳定的注入ANUCA之间的等价性。我们还证明了几类内射和稳定内射ANUCA的可逆性。给出反例来突出元胞自动机和ANUCA之间的差异。
Intrinsic Simulations between Stochastic Cellular Automata
本文提出了一个简单的形式主义处理确定性，非确定性和随机元胞自动机在一个统一的和可组合的方式。武装与此形式主义，我们扩展的概念，内在的模拟之间的确定性细胞自动机，非确定性和随机设置。然后，我们提供了明确的工具来证明或证伪两个随机元胞自动机之间的这种模拟的存在，即使内在的模拟关系被证明是不可判定的二维和更高。这背后的关键结果是刻画的平等的随机全球地图之间存在的随机源的耦合。然后，我们证明，有一个普遍的非确定性细胞自动机，但没有普遍的随机细胞自动机。然而，我们提供了随机细胞自动机实现最佳的部分普遍性。
Stationary measures and phase transition for a class of probabilistic cellular automata
我们讨论了概率元胞自动机的各种性质，如可逆模型的平稳测度集的结构和平稳测度（或相变）的多重性。
Freezing, Bounded-Change and Convergent Cellular Automata
本文从计算的角度研究了三类元胞自动机：冻结元胞自动机，其中一个元胞的状态只能按照某种状态顺序减少;元胞自动机，其中每个元胞在任何轨道上只进行有限数量的状态变化;在文献中研究的许多例子都符合这些定义，特别是S。60年代的乌拉姆。这里解决的中心问题是如何的计算能力和计算硬度的基本属性的收敛，有界的变化，或在每个细胞的状态的局部减少的约束的影响。通过研究各种基准问题（短期预测，长期可达性，限制），并考虑各种复杂性措施和规模（LOGSPACE与PTIME，通信复杂性，图灵可计算性和算术层次），我们给出了一个丰富而细致的答案：这种细胞自动机的整体计算复杂性取决于类考虑（上述三个），尺寸，和精确的问题研究。特别是，我们表明，所有的设置可以实现普遍性的意义上的Blondel-Delvenne-Krka，虽然短期的可预测性不同，从NLOGSPACE到P-完成。此外，从可计算的初始配置开始的极限配置的可计算性将有界变化与收敛的元胞自动机在~1维上分开，但也将冻结的元胞自动机的~1维与更高维分开。另一个令人惊讶的维数敏感的结果是，幂零性成为可判定的维度~ 1的所有三个类，而它仍然是不可判定的，即使在更高的维度冻结细胞自动机。
On the Complexity of Limit Sets of Cellular Automata Associated with Probability Measures
我们研究了与概率测度相关的元胞自动机极限集（μ-极限集）的概念。这个概念是由P. Kurka和A.马斯它是对处理元胞自动机典型长期行为的omega-limit集经典概念的细化。它关注的是出现概率不随时间趋于无穷而趋于0的词（持久词）。本文给出了与Bernouilli测度相关的非敏感元胞自动机的持久语言的一个刻画。我们还研究了这些语言的计算复杂性。我们证明了持久化语言可以是非递归的。但我们的主要结果是，准幂零元胞自动机的集合（那些在其μ极限集中具有单一配置的元胞自动机）既不是递归可列的，也不是共递归可列的。
An overview of Quantum Cellular Automata
量子元胞自动机由相同的有限维量子系统的阵列组成，通过迭代幺正算子G以离散时间步长演化。此外，全局演化G必须是因果的（它以有限的速度传播信息）和不变性（它在任何地方都是一样的）。量子元胞自动机为分布式量子计算提供了一种模型/架构。更一般地说，它们包含了大部分离散空间离散时间量子理论。我们给出了他们的理论的概述，特别侧重于结构的结果;可计算性和普适性的结果;和量子模拟的结果。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。