Autómatas Celulares Lineales Reversibles

Un tipo especial de autómata celular lineal es aquel en donde cada configuración tiene uno y sólo un ancestro, es decir, el Jardín del Edén es vacío y el mapeo global $\Phi:\mathcal{C} \rightarrow \mathcal{C}$ es biyectivo. Dicho tipo de autómata celular se denomina reversible, ya que existe una función global inversa $\Phi^{-1}$ que permite regresar en la evolución del sistema, en otras palabras, obtener las configuraciones que se habían generado anteriormente.