The Garden-of-Eden theorem for finite configurations

In [1] Moore showed that the existence of mutually erasable configurations in a two-dimensional tessellation space is sufficient for the existence of Garden-of-Eden configurations. In [2] Myhill showed that the existence of mutually indistinguishable configurations is both necessary and sufficient for the existence of Garden-of-Eden configurations. After redefining the basic concepts with some minor changes in terminology, and after restating the main results from [l] and [2], we shall establish the equivalence between the existence of mutually erasable configurations and the existence of mutually indistinguishable configurations. This implies that the converse of Moore’s result is true as well. We then show that by limiting the universe to the set of all finite configurations of the tessellation array, both of the above conditions remain sufficient, but neither is then necessary. Finally, we establish a necessary and sufficient condition for the existence of Garden-of-Eden configurations when only finite configurations are considered.