Sin duda un acercamiento más teórico al tema puede arrojar resultados mejor definidos y precisos, en particular el uso de teoría de matrices [Das 92] en el análisis de las matrices de conectividad, o un acercamiento topológico cuidadoso; hasta ahora, muchos conceptos de dinámica simbólica se han tratado de utilizar para formalizar este tipo de sistemas sin haberlo logrado aún.
El cálculo de autómatas reversibles por medio de permutaciones en bloque ha permitido hacer este proceso más rápido en el sentido que ya no se construyen todos los posibles autómatas y se van descartando los que son reversibles o no, sino que en base a los resultados teóricos podemos construir directamente dichos sistemas.
Hemos visto también que todo tipo de autómata celular se puede simular por medio de uno con radio de vecindad igual a 
[Boykett 97], por suspuesto, este proceso no es limpio dado que implica extender el número de estados, lo que trae consigo limitaciones prácticas para el cálculo de reversibles por medios computacionales, ya que mientras mayor sea el número de estados yøel tamaño de vecindad, más tiempo de cálculo será requerido para formar la permutación.
Un anaálisis cualitativo del comportamiento del índice 
aún no se tiene, entender este comportamiento no solo en que medida se dá sino también en que lugar, enriquecerá en mucho la comprensión de estos sistemas.