Reliable cellular automata with self-organization

被引:108
作者
Gács, P [1 ]
机构
[1] Boston Univ, Dept Comp Sci, Boston, MA 02215 USA
基金
美国国家科学基金会;
关键词
probabilistic cellular automata; interacting particle systems; renormalization; ergodicity; reliability; fault-tolerance; error-correction; simulation; hierarchy; self-organization;
D O I
10.1023/A:1004823720305
中图分类号
O4 [物理学];
学科分类号
0702 ;
摘要
In a probabilistic cellular automaton in which all local transitions have positive probability. the problem of keeping a bit of information indefinitely is nontrivial, even in an infinite automaton. Still, there is a solution in 2 dimensions, and this solution can be used to construct a simple 3-dimensional discrete-time universal fault-tolerant cellular automaton. This technique does not help much to solve the following problems: remembering a bit of information in 1 dimension: computing in dimensions lower than 3; computing in any dimension with non-synchronized transitions. Our more complex technique organizes the cells in blocks that perform a reliable simulation of a second (generalized) cellular automaton. The cells of the latter automaton are also organized in blocks; simulating even more reliably a third automaton, etc. Since all this (a possibly infinite hierarchy) is organized in "software," it must be under repair all the time from damage caused by errors. A large part of the problem is essentially self-stabilization recovering from a mess of arbitrary size and content. The present payer constructs an asynchronous one-dimensional fault-tolerant cellular automaton, with the further feature of "self-organization." The latter means that unless a large amount or input information must be given, the initial configuration can be chosen homogeneous.
引用
收藏
页码:45 / 267
页数:223
相关论文
共 31 条
[2]  
[Anonymous], 1982, WHAT IS LIFE
[3]  
[Anonymous], 1956, AUTOMATA STUDIES
[4]   STABILITY OF TEMPORALLY PERIODIC STATES OF CLASSICAL MANY-BODY SYSTEMS [J].
BENNETT, CH ;
GRINSTEIN, G ;
YU, H ;
JAYAPRAKASH, C ;
MUKAMEL, D .
PHYSICAL REVIEW A, 1990, 41 (04) :1932-1935
[5]   ROLE OF IRREVERSIBILITY IN STABILIZING COMPLEX AND NONERGODIC BEHAVIOR IN LOCALLY INTERACTING DISCRETE-SYSTEMS [J].
BENNETT, CH ;
GRINSTEIN, G .
PHYSICAL REVIEW LETTERS, 1985, 55 (07) :657-660
[6]  
Berman P., 1988, Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, P66, DOI 10.1145/62212.62219
[7]   THE CRITICAL CONTACT PROCESS DIES OUT [J].
BEZUIDENHOUT, C ;
GRIMMETT, G .
ANNALS OF PROBABILITY, 1990, 18 (04) :1462-1482
[8]  
Blahut R. E., 1983, THEORY PRACTICE ERRO
[9]  
DESA PG, 1992, J STAT PHYS, V67, P607
[10]  
Dobrushin R.L., 1977, Problems of Information Transmission, V13, P201