Notas sobre Automatas Celulares

J.-P Allouche, M. Courbage, G.Skordev

Febrero 2018

1. Introducción
Los automatas celulares fueron introducidos por J. von Neumann (ver[29])
despues de la sugerencia de S. Ulam [147, p.274]. Dichos automatas son un mo-
delo auto-replicativo, que fueron diseñados para responder una pregunta :”¿Es
posible construir robots que puedan a su vez construir robots idénticos, es decir,
robots con la misma çomplejidad¿”. El modelo propuesto por von Neumann da
una respuesta afirmativa a esta pregunta. Otro antecedente filosófico es la pro-
ducción de orden a partir del caos y el concepto de autoorganización (ver por
ejemplo [11], ver también [125]). Por supuesto, es tentador intentar ver la vida
misma detrás de la autorreproducción. Esta podrı́a ser la razón de la elección
de muchas expresiones en la teorı́a de los automatas: células, estructuras vivas
o muertas, jardı́n del Edén, juego de vida, etc.

2. El Juego de la Vida
El ejemplo más popular de autómata celular es el llamado ”Juego de la
vida”presentado por Conway en los 70’s. La referencia dada, por ejemplo, en
[156, p. 66] es: J. H. Conway, 1970. Otras referencias son los artı́culos de M.
Gardner en 1970 (1972 en Scientific American, ver para ejemplo [68], y los libros
[19, cap. 25] y [30]). Nótese que este juego lleva el nombre de Conway y Golay
en [120] (el juego de Golay tiene un mosaico hexagonal subyacente según [69]).
Este juego se define de la siguiente manera. Tenemos tabla de dos dimensiones
cuyos cuadros elementales son llamados çélulas”. Una célula puede estar ”viva.o
”muerta”. Los vecinos de una célula están definidos como las ocho celdas que
lo rodean. Hay un perı́odo de tiempo regular. En cada periodo de tiempo las
células son actualizadas de la siguiente manera:
Si el numero de vecinos vivos es exactamente 2, entonces la célula mantiene
su mismo valor (viva o muerta).
Si el numero de vecinos vivos de una celula es exactamente 3, entonces
esta tomara l valor de ”vivo”sin importar cual fuese su valor anterior.
Si el número de vecinos vivos es cualquir otro, entonces la celula tomara
el valor ”muerto”, sin importar cual fuese su valor anterior

1
En otras palabras, las celulas mueren si bien, estan aisladas o bien si estan en
un ambiente ”sobrepoblado”. De esta manera, permancera viva o sobrevivirá si
solamente si el numero de vecinos es el adecuado.

2.1. Observacion
En lugar de considerar una tabla infinita, podemos remplazar cada cua-
dro fundamental por su esquina inferior derecha. Esta esquina (en lugar
de la célula) tomara los valores vivo/muerto. La tabla sera remplazada
por el “enrejadoçuadrado definido por Z 2 . Usaremos esta representación
alternativa en la definición formal mas adelante.
Los problemas tipicos estudiados en el Juego de la vida son: estructuras qu
se ”propagan”(Tambien llamados planeadores); Estos a su vez son capaces
de originar estructuras identicas a ellas mismas (Lo cual se acerca a la
pregunta inicial), asi como patrones que tienen una evolucion periodica
en el tiempo, choques entre estructuras , existencia de configuraciones sin
predecesores (llamados jardines del Eden), etc.

3. Definiciones
Primero comenzamos con una definición intuitiva. Partimos de un conjunto
que puede ser finito o bien infinito (este conjunto usualmente es una cuadrı́cu-
la). Para cada elemento v en este conjunto, se nos da una cantidad finita de
elementos del conjunto incluyendo el elemento v en sı́ que son llamados los ”ve-
cinos”de v. Tenemos un mapeo de este conjunto para un conjunto de estados
(generalmente finitos). A este mapeo se le llama çonfiguracion”. Las imágenes
de las configuraciones se pueden ver como .observables”. También tenemos una
función de actualización llamada función local (o regla local). Para obtener el
nuevo valor asignado a un elemento, necesitamos el elemento mismo y los valores
de todos sus vecinos (insistimos en que el conjunto de vecinos de un elemento
v contiene a su vez al mismo elemento). La actualización se realiza en paralelo
con lo que los nuevos valores se calculan simultáneamente

Definicion 1
Un automata clular en un conjunto Γ se define de la siguiente manera: para
cada elemento v ∈ Γ (al cual llamamos celula) existe un un subconjunto
finito N (v) de Gamma que contiene a v y es llamado el vecindario de
la celula v. Tamvbien se nos da un conjunto de valores A (usualmente
finito). Finalmente para cada v ∈ Γ existe un mapa local Fv desde AN (v)
hasta A (donde AN (v) es el conjunto de mapas desde N (v) hasta A). Una
configuración es un elemento de AΓ , esto es, un mapeo desde ΓhastaA.
Los mapeos locales Fv inducen un mapeo global F del conjunto de las configura-
ciones hacia el mismo conjunto de la siguiente manera: Sea C una configuracion.

2
Definimos la configuracion F (C) por:

para cada v ∈ Γ, F (C)(v):= Fv (C|N (v) )

donde C|N (v) es la restriccion de C sobre el conjunto N (n).

La evolucion temporal del automata celular, empezando desde una configura-
cion inicial C es la orbita de C bajo F , esto es, la secuqncia de cbfugyuraciones

C, F (C), F (F (C)) = F (2) (C), ..., F (t) (C)