A (2,1) counterexample

Symbolic matrices can also be used to prove that a rule is not invertible; consider Rule 30 once more:

0.45em

With little effort one can establish that

0.35em

for n>1. Given that the configuration will always have some ancestors in which 1 remains 1 and others in which 0 becomes 1, there is no neighborhood length for which the ancestral cell is uniquely determined. Therefore Rule 30 cannot be reversed, in spite of the fact that every configuration has a unique ancestor whenever its external environment is specified.



Harold V. McIntosh
E-mail:mcintosh@servidor.unam.mx