Este capítulo presenta los fundamentos de la teoría de autómatas celulares lineales. Dentro de los fundamentos se considera la descripción formal de un autómata celular y cual es su terminología básica que permite caracterizar a los mismos. Conceptos principales como el de ancestro y jardín del edén serán propiedades importantes para la caracterización de la reversibilidad de los autómatas celulares.
Con el fin de encontrar nuevos resultados en autómatas celulares lineales, uno de los objetivos de anteriores investigaciones [McIntosh 91a], citekn:mc4, [Gómez 96] y [Seck 98], ha sido la creación y uso de herramientas de análisis. De esta manera, en la última sección de este capítulo se dá un resumen de dichas herramientas que pueden ser consultadas en mas detalle en [McIntosh WWW].