Documentos de Académico
Documentos de Profesional
Documentos de Cultura
html
Resumen:
Se presenta un anlisis del espacio de configuraciones que existe en los autmatas celulares lineales, haciendo especial nfasis en el caso reversible. Para dicho estudio se hace uso de los conceptos bsicos de topologa de conjuntos y de dinmica simblica.
Tabla de Contenidos
Introduccin Antecedentes Histricos de los Autmatas Celulares Lineales Antecedentes Histricos de la Topologa de Conjuntos Conceptos Bsicos de los Autmatas Celulares Lineales Funcionamiento de un Autmata Celular Lineal Ancestro y Jardn del Edn Autmatas Celulares Lineales Reversibles Espacios Topolgicos Espacios Vectoriales Definicin Bsica de Espacios Topolgicos Base de un Espacio Topolgico y Mapeos Contnuos Espacios Mtricos Conjuntos Abiertos en Producto Topolgico Propiedades del Espacio Mtrico de Configuraciones Convergencia Conjuntos de Cilindros Espacios Compactos Espacios Separables Introduccin al Espacio de Corrimientos de Tipo Finito Espacios de Corrimientos Homomorfismos Corrimientos de Tipo Finito Diagrama de de Bruijn Definicin de Espacios Sficos Topologa Bsica de los Autmatas Celulares Lineales Reversibles Conclusiones Bibliography Glosario About this document ...
Introduccin
El inters en el anlisis de los autmatas celulares lineales se debe a que son sistemas cuyo funcionamiento es muy sencillo y fcil de modelar en una computadora, pero aun as son capaces de generar comportamientos complejos. Un tipo especial de autmata celular lineal son los llamados reversibles, los cuales tienen la propiedad de conservar la informacin del sistema [TM90].
puede tomar como valor un elemento de un conjunto finito K de estados, la cardinalidad de se define con . Una clula actualizar su valor dependiendo del estado en que se encuentre y el de vecinas a cada lado, donde a se le denomina como radio de vecindad; de esta forma clulas generan una nueva clula, dicho bloque de clulas se le conoce como vecindad. El mapeo llama la regla de evolucin. Bajo la accin local de , una configuracin o estado global del autmata evolucionar en otra a cada una de las posibles vecindades contenidas en la anterior, es , los que especifica que clula forma cada vecindad posible se le
decir, cada clula actuali-za su estado. Para este proceso, en cada aplicacin de elementos finales de cada vecindad se tomarn como los vecindad, existiendo un traslape entre las vecindades. As, empezando desde el instante
producir una nueva configuracin que define el estado global del autmata en el instante
proceso se repite de manera indefinida, esta secuencia de estados globales o configuraciones es la que nos da la dinmica del sistema. Al conjunto de configuraciones de un autmata celular lineal lo denominaremos como . Una caracterstica de estos sistemas es que tanto el tiempo como el espacio son discretos, esto es ya que el paso de una configuracin a otra se muestra en pasos discretos y la interaccin local especificada por se da entre clulas que toman valores discretos de un conjunto finito de estados.
mapeo local
de la evolucin del autmata. Por supuesto, puede existir un conjunto (posiblemente vaco) de configuraciones las cuales no puedan aparecer en la evolucin del sistema ms que al principio como configuracin inicial, pues la regla de evolucin es tal que al aplicarla a los elementos en no produce dichas configuraciones. Al conjunto de configuraciones que carezcan de ancestros se le denomina el Jardn del Edn de dicho autmata celular.
Espacios Topolgicos
En esta seccin se expondrn los conceptos bsicos utilizados en topologa de conjuntos los cuales usaremos para analizar y observar que propiedades tiene el espacio de configuraciones de un autmata celular lineal.
Espacios Vectoriales
Antes de presentar los conceptos de topologa, ha-gamos una revisin de las construcciones bsicas que utilizaremos en este ambiente como son los espacios, subes-pacios, bases y mapeos al estilo del lgebra lineal.
Entonces se denomina un espacio vectorial. Podemos decir por lo anterior que en un espacio vectorial intervienen dos conjuntos, vectores y escalares, los segundos como coeficientes de los primeros. Los vectores forman un grupo abeliano con respecto a la adicin (la suma es cerrada, asociativa, conmutativa, existe el elemento 0 y los negativos) y los escalares forman un campo con la inclusin del 0 y del . Dicho de manera informal, en un espacio vectorial te-nemos elementos los cuales podemos sumar entre ellos, alargarlos o contraerlos; un paso a seguir es encontrar todas las caractersticas estructurales de estos espacios. Para esto recurriremos a ideas provenientes del lgebra Universal, tales como relaciones de orden, relaciones de equivalencia, mapeos de un conjunto a otro y la generacin de espacios ms complejos por medio de productos cartesianos [McI99].
Subespacios Vectoriales
Para un espacio vectorial El elemento y , si existe un subconjunto est tambin en . cualquier escalar. . tal que:
Entonces es un subespacio vectorial en , es decir, cualquier subconjunto de un espacio vectorial que mantiene las mismas propiedades por s mismo conforma un subespacio.
Relaciones de Orden
En un espacio vectorial, podemos ordenar los subes-pacios por su contencin, por ejemplo, el subespacio ms pequeo consistente del elemento 0 est contenido en cualquier otro subespacio, o el espacio completo es el subespacio ms grande que contiene a cualquier otro. Par dos subespacios , definiremos el subes-pacio ms grande comn a ambos como
, por otra parte, el subespacio ms pequeo que contiene tanto a como a consiste en todas las combinaciones lineales de vectores posibles con los dos subconjuntos y no slo en . Con esto, los subconjuntos de un espacio vectorial pueden ser organizados en una jerarqua, en donde para cada subconjunto se obtiene el mnimo subespacio que lo contiene o el mximo subespacio que ste contenga, esto nos lleva a una nocin fundamental en el estudio de espacios vectoriales, la de base.
(1)
es una expansin de
(2) Esto indica que alguno de los elementos de 2 no se cumple ms que para linealmente independientes. De aqu, si es una expansin de , entonces el conjunto de vectores linealmente independientes forma una base de . Con las relaciones de orden sobre , podemos encontrar como el conjunto de elementos linealmente independientes que generan a por medio de todas las posibles combinaciones lineales, as, el nmero de vectores linealmente independiente en dado por define la dimensin del espacio. es mltiplo de otro; en caso contrario, si la ecuacin , entonces los elementos de son
Relaciones de Equivalencia
Una vez definida la estructura de un espacio vectorial, es interesante analizar los mapeos que pueden existir entre los elementos de varios espacios, en este caso, el uso de relaciones de equivalencia ayuda a hacer ms clara la interaccin entre dos espacios conectados por una funcin. Una funcin debe cumplir que para cada elemento , sea nica; de este modo, para espacios
vectoriales se requiere que las funciones cumplan con ser lineales, esto es: (3) Funciones lineales entre espacios vectoriales forma otro espacio vectorial; los valores que tome la funcin dependen de los valores que asigne a la base del espacio, pues de ah todos los dems elementos se generan como combinaciones lineales. Para un subconjunto de un espacio vectorial donde una funcin toma el mismo valor en cada elemento del subconjunto, se define una clase de equivalencia; las contraimgenes de esta funcin dependen de la contraimagen de 0 pues dos elementos de la misma clase de equivalencia tienen las mismas imgenes; por esto, la contaimagen de 0 constituye el kernel del mapeo. Las imgenes y contraimgenes de un espacio vectorial son tambin espacios vectoriales.
Producto Cartesiano
Sea una familia de espacios vectoriales para , entonces: donde es un conjunto que indexa
a la familia
(4)
tal que
para cada
Bajo esta construccin, se denota como el producto directo o producto cartesiano de los espacios . El producto cartesiano es una de las maneras ms sencillas de fomar un espacio vectorial complicado utilizando espacios ms simples [McI99]. Las funciones que vayan desde las bases a los elementos del producto se denominan proyecciones y sirven para recobrar los factores originales del producto cartesiano.
Axioma 2 La unin de una subfamilia arbitraria de Axioma 3 La interseccin de una subfamilia finita de con es llamado cerrado cuando es llamado una vecindad de .
Las definiciones bsicas [Jan84] utilizadas en los espacios topolgicos son: es abierto. si existe un conjunto abierto que cumple
Para
, un elemento ,
Figura: Vecindad de . es llamado un punto interior, exterior o frontera de o ninguno de los anteriores es una vecindad de .
respectivamente, si
Figura: Punto interior, exterior y frontera de El conjunto El conjunto cerradura de de los puntos interiores de de los puntos de .
. . es llamado la
es llamado el interior de
El papel que juegan los conjuntos abiertos en un espacio topolgico es crucial ya que con ellos podemos conocer las caractersticas de este espacio; propiedades que cumplen los conjuntos abiertos son: es abierto es abierto es cerrado. es una vecindad de cada uno de sus puntos.
Figura: Si es abierto
es abierto, entonces
es cerrado. que
cumplan con los axiomas de un espacio topolgico. Por supuesto, los conjuntos que ser iguales ni tener el mismo nmero de subconjuntos; si entonces se dice mas fina que y
no tienen por y .
de un conjunto abierto es siempre otro conjunto abierto. Un mapeo biyectivo denominar un homeomorfismo cuando tanto es abierto s y solo si como sean contnuas; es decir, para
es abierto tambin.
Figura: Homeomorfismo entre y ; el mapeo preserva los conjuntos abiertos. Para los espacios topolgicos, los homeomorfismos juegan el mismo papel que los isomorfismos en espacios vectoriales [Jan84]; un homeomorfismo conserva las propiedades topolgicas al mapear de un espacio a otro, pues el mapeo de una base ser a su vez la base del espacio imagen. Trabajar con
homeomorfismos es muy til ya que si conocemos las propiedades de un espacio topolgico dado, podemos encontrar estas mismas caractersticas en todos los espacios homeomrficos a ste.
Espacios Mtricos
Sea un conjunto, suponga que existe una funcin real tal que satisface: 1. 2. 3. 4. triangular). Entonces es un espacio mtrico y una distancia o mtrica sobre [Hal50]. . (desigualdad . . para los pares ordenados
Para el conjunto de estados de un autmata celular lineal, podemos formar el conjunto de todas las posibles configuraciones de estados, cada configuracin infinita en ambas direcciones. Entonces consiste en el producto cartesiano de indexado por el conjunto de todos los enteros o tambin: (5)
lo que indica la formacin del producto cartesiano con un solo conjunto, en este caso sima configuracin , se utilizarn las siguientes convenciones. ser la clula ubicada en la posicin en la configuracin , para
. Para la -
ser la secuencia de estados contenida en la configuracin empieza en la posicin y termina en la posicin est dada por para .
La longitud de la secuencia
En base al trabajo de Hedlund en [Hed69] y de Mike Boyle en [Boy93], sobre cada par ordenado con , definamos la funcin de la siguiente manera:
(6)
Entonces infinitas a)
define una mtrica sobre el conjnto de configuraciones de un autmata celular lineal, esto es ya que: es una funcin real que toma valores en el intervalo si si cuando . . . pues:
entre
Configuracin
Posiciones -3 -2 -1 0 1 2 3 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0
Por supuesto, otro tipo de mtricas son posibles, como la expuesta por Douglas Lind y Brian Marcus en [LM95] que tiene la siguiente forma:
(7)
concuerden en
una parte central, en donde la especificacin del centro es arbitraria por lo que dos configuraciones pueden estar muy cercanas o no dependiendo donde se defina el centro. Una generali-zacin de ambas distancias puede realizarse tomando a a donde . Puede entonces existir una distancia que slo indique cuanto difiere una configuracin de otra sin importar el lugar donde se presenten las diferencias?; para esto definamos la siguiente mtrica: (8)
entonces (9)
(10)
entonces
y . As, la distancia
; si
para
de ah que
se encuentre en el intervalo
, con la diferencia
que esta distancia se concentra en medir diferencias entre configuraciones en vez de similitudes entre partes centrales. En la continuacin de este trabajo utilizaremos la distancia definida por Hedlund en [Hed69]; es decir, .
Conjuntos Abiertos en
La definicin de conjuntos abiertos en el espacio de configuraciones de un autmata celular lineal es sencilla al utilizar el concepto de distancia. Para y , definimos el subconjunto configuraciones que estn a una distancia menor que denomina un disco abierto de radio ; es decir, de es el subconjunto de
denomina un disco cerrado y se denota con Sea la familia de subconjuntos de tal que los conjuntos abiertos mtrico. y
entonces existe
se dice un espacio topolgico mtrico o simplemente un espacio , tomemos solamente las configuraciones de tamao .
Tomando a
Propongamos a
(11)
Para
Es posible observar en el ejemplo anterior que si slo formamos a con el conjunto vaco y el conjunto total cumplirn con ser conjuntos abiertos y tambin sus uniones e intersecciones caen dentro de , siendo la topologa discreta de como se defini en la seccin 3.2. Teniendo estos resultados, podemos ver que el espacio de configuraciones de un autmata celular lineal. induce una topologa sobre
Producto Topolgico
En la ecuacin 5 se present que siguiente forma : tal que , denotando al conjunto de todos los mapeos con la para (12) donde construye una
. El mapeo: (13)
Al conjunto de estados lo podemos ver como un espacio topolgico cuya topologa discreta es l mismo, en otras palabras, podemos ver a como un conjunto abierto. Entonces, el conjunto de mapeos forma un producto topolgico que da origen a un elemento en .
De esta forma, se puede ver que el espacio mtrico de configuraciones coincide con el producto topolgico generado por la topologa discreta de como se seala en [Hed69].
Convergencia
Para el espacio de configuraciones conforme , se dir que una configuracin ; es decir: (14) Supongamos que desigualdad del tringulo. (15) y , entonces ; esto se puede probar utilizando la converge a si
As
por lo que
Conjuntos de Cilindros
Sobre el conjunto de configuraciones definamos el cilindro , para un bloque finito de estados fijo y , como sigue. (16)
En otras palabras,
Figura: Cilindro
. y
Una primera observacin a realizar, es que todo cilindro es abierto ya que para cualquier tenemos:
(17) probando que el cilindro es abierto pues cumple con esto. Por
las propiedades de un espacio topolgico, sabemos que el complemento de un conjunto abierto es cerrado, y la unin de conjuntos abiertos es abierta por el axioma 2; tomemos el caso ms sencillo, para un autmata celular lineal de estados, tenemos que , cada uno de estos cilindros cumpliendo con ser abierto. Para cualquier cilindro complemento en lo repre-sentan con , su
sea cerrado, concluyendo que un cilindro es tanto abierto como cerrado. Dado que con el conjunto de cilindros podemos representar a todo el espacio mtrico conjuntos abiertos, estos constituyen una base para [Boy93]. y son
Haciendo uso de los conceptos de convergencia y del conjunto de cilindros describamos dos caractersticas importantes que se presentan en el espacio de configuraciones de un autmata celular lineal.
Espacios Compactos
La cubierta abierta de un espacio topolgico es una familia de conjuntos abiertos cuya unin es el mismo espacio . Un espacio toplgico se dir compacto si cada cubierta abierta de ste tiene una subcubierta finita. Esto significa que es compacto si cumple con lo siguiente. (18)
con
para
(19)
(20) Es decir, donde lo que: (21) indexar al conjunto de cilindros donde cada cilindro cumple con que . Entonces, pues es un conjunto finito de estados, por
es abierto, entonces
Es aqu donde se puede apreciar la importancia que tiene la eleccin de un centro para definir una distancia en el espacio de configuraciones , pues dado este centro se puede definir el conjunto de cilindros y con esto generar una cubierta finita de concluyendo que dicho espacio es compacto. El que un espacio topolgico sea compacto es muy til ya que podemos tratar el espacio con un nmero finito de subconjuntos del mismo lo que facilita su estudio, veamos ahora como podemos elegir un representante de cada subconjunto. En base al trabajo de Lind y Marcus en [LM95], para el espacio de configuraciones , tomemos un cilindro como se establece en la ecuacin 19, cons-truyamos una subsecuencia convergente de enteros positivos tal que: (22) Definamos la configuracin definamos converge a donde para toda el cual excede a e inductivamente . Entonces . Para , encontremos una secuencia de subconjuntos de
Figura: Convergencia de
conforme
Utilizando la idea de convergencia, podemos decir que el espacio de configuraciones es compacto si cada secuencia de configuraciones en converge a un configuracin dada [LM95], pues esta convergencia asegura la existencia de los conjuntos de cilindros.
Espacios Separables
Otra propiedad importante para clasificar a un espacio topolgico es el grado de separacin que tiene [Haj68] [Hus66]; as, un espacio topolgico se clasifica como:
(Espacio de Riesz) si para cualesquiera dos elementos distintos en uno que no contiene al otro.
(Espacio de Kolmogorov) si para cualesquiera dos elementos distintos en vecindades de ambos que no contienen al otro. (Espacio de Hausdorff) si cualesquiera dos elementos distintos en disjuntos. (Espacio Regular) si cada vecindad de cualquier elemento en cerrada del mismo.
existen
tiene vecindarios
con
o de
. Seleccionemos
la posicin de una clula en la cual ambas configuraciones difieran (por lo menos existe una pues de otra forma ) y definamos sta como la posicin central de las configuraciones, de aqu establezcamos lo siguiente:
(23)
(24)
Para
lo cual es anlogo para (26) Dado que el cilindro especificado en las ecuacin 25 cumple que sus elementos comparten la misma parte central y el mismo caso se presenta para el cilindro en la ecuacin 26, podemos concluir que: (27)
Por lo que
es una vecindad de
es una vecindad de
. Por ltimo,
Figura 11: Los conjuntos de cilindros son disjuntos. Por lo que las vecindades de y son disjuntas, para cualquier espacio de configu-raciones es separable o de Hausdorff.
con lo que el
Espacios de Corrimientos
Sobre el espacio topolgico de la si-guiente manera: podemos definir un mapeo de corrimiento sobre cada configuracin tal que (29)
El mapeo hace correr a la izquierda cada elemento de una configuracin en una posicin con respecto a un centro especificado; en el caso de el corrimiento es a la derecha. Globalmente, el mapeo de corrimiento mapea configuraciones a configuraciones; es decir, , al
tener una funcin inversa con , el mapeo de corri-miento es biyectivo en denomina el espacio de corrimiento.
y el espacio
se
Homomorfismos
Un homorfismo es simplemente una mapeo contnuo que conmuta con el co-rrimiento. Para el espacio de configuraciones y la regla de evolucion asociada a un autmata celular lineal, si dos configuraciones entonces evoluciones y son cercanas segn ,
tienen secuencias centrales idnticas de considerable longitud. De aqu, sus y tambin coincidirn en una secuencia central con longitud y , de esta manera, define un mapeo global
pues los conjuntos abiertos siguen permaneciendo as. es que conmuta con como lo demuestra Hedlund
(30)
inducido por
con el corrimiento o lo que es lo mismo, es un homomorfismo, en particu-lar, como de a si mismo, define un endomorfismo.
Un resultado importante debido a Hedlund en [Hed69], es que todos los homomorfismo en un espacio topolgico deben tener el funcionamiento de un autmata celular lineal. Sea un homomorfismo, entonces es contnua. Como hemos hecho anteriormente pueden ser especificados como elementos de dos cilindros disjuntos, dado que el mapeo es contnuo, entonces
(31)
Entonces, para
pues
(32)
y o lo
pertenece a
Un corrimiento de tipo finito [Boy93] es una restriccin del -corrimiento completo, en donde existe un conjunto finito de secuencias de estados prohibidas, es decir, ningn elemento de puede aparecer en las configuraciones pertenecientes al corrimiento de tipo finito. Definamos a como el corrimiento de tipo finito formado por configuraciones de estados que no contienen ninguna secuencia en , con esto se tiene que: (34) En el mbito de un autmata celular lineal, un corri-miento de tipo finito todas las posibles configuraciones donde de dicho autmata, con lo que generar con la regla de evolucin es el conjunto de
Diagrama de de Bruijn
Un paso acostumbrado en dinmica simblica es repre-sentar un corrimiento de tipo finito por medio de una grfica , donde todas las posibles rutas del diagrama muestren la coleccin de las secuencias que se tienen en , para autmatas celulares lineales, la grfica que resulta natural para conocer las evoluciones del conjunto es el diagrama de de Bruijn [McI91].
El conjunto de nodos del diagrama de de Bruijn secuencias de estados de longitud Para son iguales a los , es decir, a
elementos iniciales de
situacin en particular el diagrama ser completo. Cada arista en el diagrama de de Bruijn representa una vecindad del autmata, es decir, un bloque de estados de longitud , tomando en cuenta el elemento inicial del nodo , el traslape de longitud y el elemento final del nodo . Al conjunto de aristas del
de un autmata celular lineal. Cada arista se etiquetar con un smbolo o se colorear con un color distinguiendo el estado en el cual evoluciona la vecindad representada por etiquetado de todas las aristas representa al mapeo que es la regla de evolucin del autmata. , o sea, el
Figura 12: Diagramas de de Bruijn genricos. Por medio del diagrama de de Bruijn, tenemos una re-presentacin grfica de la regla de evolucin, las rutas en este diagrama representan todas las posibles configuraciones que aparecen en la evolucin del autmata celular como producto de . Cabe sealar que en la literatura sobre dinmica simblica, el uso del diagrama de de Bruijn es casi inexis-tente, prefiriendo usar otro tipo de diagramas ms a la manera de la representacin grfica de autmatas finitos, o la grfica dual del diagrama de de Bruijn (en caso de existir).
Tambin se seala en [LM95] que la palabra ``sfico'' fue utilizada en este mbito por primera vez gracias a B. Weiss y viene de la palabra hebrea para ``finito.'' Para un autmata celular lineal, el conjunto de configuraciones puede tomarse como un espacio sfico teniendo como representacin al diagrama de de Bruijn. De acuerdo si el conjunto de secuencias pertenecientes al Jardn del Edn es finito o no, .
Figura: Clasificacin de
segn la cardinalidad de
La teora de espacios sficos desde el punto de vista de la dinmica simblica se ha concentrado en estudiar cuales son los posibles conjuntos que se pueden generar, en analoga al lenguaje que un autmata finito puede reconocer como se estudia en teora de autmatas. Sin embargo, en el caso de un autmata celular sera tambin interesante conocer cuales son las propiedades que se cumplen al generar las secuencias de estados y configu-raciones que las contengan.
configuraciones son de longitud finita, pues dado que el nmero de posibilidades est res-tringido, una configuracin tendr que repetirse tarde o temprano, dicha configuracin debe ser la inicial pues de otro modo el autmata no cumple con ser reversible. Dado que en un autmata reversible no existe el Jardn del Edn, toda configuracin es posible de formarse, por lo que este tipo de autmatas caen en la categora de corrimientos completos, es decir, en un autmata celular lineal reversible se tiene que: (35)
Conclusiones
Podemos apuntar que la topologa del conjunto de configuraciones se da por un elemento principal, la eleccin de un centro, pues la definicin de la mtrica en este espacio, ya sea al estilo de Hedlund ( ) o al de Lind ( ) es en base a este centro y la construccin de los conjuntos de cilindros,tambin es apoyndose en las posiciones que implican el establecimiento de un centro. La caracterizacin de el espacio como compacto y Hausdorff separable se puede lograr al utilizar al conjunto de cilindros como base de la topologa. Los mapeos contnuos entre espacios topolgicos son de gran importancia ya que preservan los conjuntos abiertos, as, un resultado importante es el que todo mapeo contnuo que conmuta con el corrimiento puede ser representado por la accin de una regla de evolucin y con esto coincidir con el funcionamiento de un autmata celular lineal. Para el caso reversible, los endomorfismos del espacio en s mismos cumplen con ser biyectivos, definiendo el conjunto de mapeos que son automorfismos en . Dado que en todo cilindro se puede encontrar una subsecuencia convergente de configuraciones, podemos re-presentar al espacio con un conjunto finito de elementos, si limitamos la longitud de la configuracin lmite de cada subsecuencia convergente, entonces podemos representar al espacio con un conjunto de configuraciones finitas siendo su nmero finito tambin, y de este modo facilitar el estudio de la dinmica de un autmata celular lineal pues solo se toma el caso finito. La teora de dinmica simblica y corrimientos de tipo finito pueden ofrecer ms resultados si tomamos al diagrama de de Bruijn como base. Dado que para el caso reversible el espacio resulta ser un corrimiento completo sin palabras prohibidas, se puede conjeturar que dicho espacio contiene otros subespacios completos, explicando as la existencia de subautmatas reversibles en todo autmata celular lineal reversible con , como se ha podido apreciar en observaciones experimentales.
Bibliografa
Boy93 Mike Boyle, Symbolic Dynamics and Matrices, IMA Volumes in Mathematics and Its Applications, vol. 50, 1-38, IMA Volumes in Mathematics and Its Applications, Academic
Press, New York, 1993, pp. 1-38. CR41 Richard Courant and Hebert Robbins, What is mathematics?, Oxford University Press, New York, 1941. Haj68 Otomar Hajek, Dynamical systems in the plane, Academic Press, London, 1968. Hal50 Paul R. Halmos, Measure theory, D. Van Nostrand, New York, 1950. Hed69 Gustav A. Hedlund, Endomorphisms and automorphisms of the shift dynamical system, Mathematical Systems Theory 3 (1969), 320-375. Hus66 Taqdir Husain, Introduction to topological groups, W. B. Saunders Company, Philadelphia and London, 1966. Jan84 Klaus Janich, Topology, Springer-Verlag, New York, 1984. Lie65 W. Lietzmann, Visual topology, Chatto & Windus, London, 1965, Traducido del alemn por M. Bruckheimer. LM95 Douglas Lind and Brian Marcus, An introduction to symbolic dynamics and coding, Cambridge University Press, New York, 1995. LWJ98 Jimmy T. Arnold Lee W. Johnson, R. Dean Riess, Introduction to linear algebra, AddisonWesley, New York, 1998. McI87 Harold V. McIntosh, Linear cellular automata, Universidad Autnoma de Puebla, Puebla, Mxico, 1987. McI91 Harold V. McIntosh, Linear cellular automata via de bruijn diagrams, http:// www. cs. cinvestav. mx/ ~mcintosh (1991). McI99 Harold V. McIntosh, Linear algebra, Notas del curso de Algebra Lineal impartido en el Departamento de Aplicacin de Microcomputadoras, Instituto de Ciencias, Universidad Autnoma de Puebla, 1999. TM90 T. Toffoli and N. Margolus, Invertible cellular automata: a review, Physica D 45 (1990), 229253.
vN66 John von Neumann, Theory of self-reproducing automata, University of Illinois Press, 1966, Editado y completado por A. W. Burks.