状态异步细胞动机通用计算能力证明.docx

参考文献 4状态异步细胞自动机通用计算能力证明 摘 要 细胞自动机是一种离散的模型，能够完成复杂计算和模拟自然界的现象变化。作为细胞自动机的一种，异步细胞自动机在细胞演化时是不需要统一时钟控制的，对其研究要比同步细胞自动机复杂得多。作为对异步细胞自动机计算能力研究的一个重要方式，模拟同步细胞自动机演化是一种很好的方式。细胞自动机的本质通用性使得一个细胞自动机能够模拟另一个细胞自动机。生命游戏是最著名的同步细胞自动机，因其简单的控制规则和展现复杂的特性使得对其研究不断增多，如自我复制，超平行计算能力，以及在仿生学中的重要作用。特别的已经存在Moore相邻条件下的8状态下异步细胞自动机对生命游戏的模拟，但是利用了上百条状态转换规则。如果要模拟一个细胞自动机，那么其状态转换规则的计算是必不可少的，本文利用延时不敏感电路是异步电路的一种，在计算正确性和电路设计上的特性，同时能很好地嵌入到异步细胞自动机中的特性，设计了具备计算生命游戏状态转换规则的延时不敏感电路，可以有规则的在细胞自动机空间中摆放电路模块。然后利用几十条状态转换规则分别在von Neumann相邻条件下的4状态和5状态异步细胞自动机上模拟生命游戏演化。 虽然不同状态下模拟的生命游戏细胞配置大小不同，但是其最终模拟结果是一样的。von Neumann相邻条件下4状态异步细胞自动机的计算能力虽然已经被证明出，但是其计算能力是有限的，本文通过在其上模拟生命游戏，为证明其通用计算能力和超并行计算能力提供了一种便捷的方法。 关键字：异步细胞自动机，延时不敏感电路，生命游戏，通用计算能力，本质通用性 Abstract Cellular Automata is a discrete model, that could complete complex computing and simulate phenomena of natural. So as a kind of cellular automata, Asynchronous Cellular Automata(ACA) evolution without central clock make it more difficult to study. Emulating transition of synchronous Game of Life in Asynchronous Cellular Automata is an approach to demonstrate its computational universality. Intrinsically universal of cellular automata makes a cellular automata to simulate another cellular automata, Game of Life (GL) is one of the most famous Cellular Automata for its simple transition rules with complex behavior, such as self-replication, massive parallel computation and simulation in bionics. especially there exists completely simulation of GL under 8-states Asynchronous Cellular Automata with Moore neighborhood and hundreds of transition rules. To simulate a cellular automata one has to simulate transition rules of cellular automata also information transfer among cells. In this paper, we design a Circuit which could compute transition rules of GL and information transfer among cells, the circuit is Delay-Insensitive Circuit(DI-Circuit) that has been proved its computing universal with computational correctness and facility in design. The DI-Circuit is so-well embedded in ACA that