Title: A New Version of Toom's Proof
Author: Peter Gacs
Date: March 27, 1995
Abstract:
There are several proofs now for the stability of Toom's example of a
two-dimensional stable cellular automaton and its application to
fault-tolerant computation. Simon and Berman simplified and
strengthened Toom's original proof: the present report is simplified
exposition of their proof.