Reliable Computation with Asynchronous Cellular Arrays

The homogeneous construction and local connectivity of cellular arrays makes them the natural domain for the formulation of certain general questions concerning reliable computation. We have addressed the problem of reliable computation in discrete time in two works. Gacs [1] constructs a (fairly complex) one-dimensional array while Gacs and Reif [2], based on Toom’s work, construct a very simple three-dimensional array. Even if built of unreliable components, these arrays can simulate any one-dimensional cellular array reliably.