Está en la página 1de 10

Autmatas celulares

Germn Tllez C.
CIC-IPN
Panorama
1. Introduccin.
2. Historia.
3. Componentes.
4. Comportamiento.
5. Caractersticas.
6. Clases.
7. Operacin.
8. Variantes.
9. Aplicaciones.
10. Definicin.
11. Referencias.
Abstract
Los AC son sistemas espacialmente descentralizados, consistentes de un gran nmero de
componentes idnticos con conectividad local. Tales sistemas tienen el potencial de
ejecutar clculos complejos con alto grado de eficiencia y robustez.
[Mitchell, 1996]. Los AC surgieron como un rea de estudio dentro del rea de la ciencia
terica de la computacin. Son estudiados como modelos para fenmenos fsicos y
biolgicos, tales como, dinmica de fluidos, formacin de patrones biolgicos, sismos,
formacin de galaxias,... adems de ser considerados como objetos matemticos con
propiedades formales, as como ser usados como dispositivos de cmputo paralelo para
simulacin de modelos [Jesshope,C. et.al, 1994].
1. Introduccin
Que son los AC ?
Son sistemas dinmicos discretos
Simulan sistemas complejos por la interaccin de clulas siguiendo reglas
simples.
Su comportamiento complejo emerge de la iteracin de componentes
simples siguiendo reglas simples.
En que consisten los AC ?

Consisten de una lattice de sitios (clulas) idnticos discretos;


Cada clula toma un valor de un nmero finito, por ejemplo, de valores
enteros.

Los valores de las clulas evolucionan en etapas de tiempo discreto de


acuerdo a reglas deterministas que especifican el valor de cada clula en
trminos de los valores de sus clulas vecinas.
2. Historia

El concepto esta asociado con John von Neumann ( 1905, 1957).

Segn Burks [Burks, 1966,1970b], Von Neumann estaba interesado en las


conexiones entre la biologa y la teora de autmatas (Wolfram 2002).

Qu tipo de organizacin lgica es suficiente para que un autmata sea


capaz de auto-reproducirse?

En 1947, von Neumann empieza a estudiar la complejidad requerida para un


dispositivo autorreproductor, empezando con modelos continuos basados en
ecuaciones diferenciales parciales no lineales y tambin usando la idea de un
autmata cintico basado en los principios de Turing.

Stanislaw Marcin Ulam (1909-1984) sugiri a von Neumann usar un AC


como estructura para investigar estas conexiones.

John von Neumann muere en 1957 antes de poder publicar su trabajo; Este
es publicado en 1966 mediante una edicin por Arthur W. Burks.

El concepto original de AC puede ser acreditado a Ulam, mientras que el


desarrollo inicial del concepto es acreditado a von Neumann.

Irnicamente, aun cuando von Neumann hizo muchas contribuciones y


desarrollos a los AC, estos son llamados No von Neumann
Mientras que el modelo de computacin estndar (procesamiento serial,
CPU,...) es llamado von Neumann.
Otros resultados de esa poca fueron [McIntosh, 1990]:

von Neumann, propone AC equivalente a una mquina universal de


Turing [Codd 68].

La demostracin de la existencia del constructor universal.

En la dcada de los 60's, E. F. Codd [Codd 68] realiza una variante


del AC
de von Neumann el cual, con ocho estados por cada clula logra la
autoreproduccin.

El teorema del jardn del Edn de Edward F. Moore, muestra la


existencia de configuraciones en el AC, que slo pueden
considerarse como estados iniciales, dado que tales patrones no se
vuelven repetir en el trayecto de la evolucin del AC [Moore 62].

La era Gardner

El conocimiento pblico de los AC es atribuido, a John Horton Conway's


[McIntosh, 1990]. Algunos de sus resultados sobre AC fueron presentados en 1970
en un juego ecolgico llamado "life", el cual se volvi popular en la columna
mensual de Martin Gardner "Juegos Matemticos" en Scientific American.

Conway ide la regla de evolucin de life de tal forma que se evitara los extremos,
en los que las clulas vivas proliferaran y crecieran sin lmite, o en los que las
clulas vivas disminuyeran y finalmente murieran.

La "era Gardner" de AC se caracteriz por la bsqueda de las configuraciones


"interesantes" del juego life de Conway.

La columna de Dewdney en Scientific American, describe una variante


tridimensional de life, ideada por Carter Bays [Dewdney, 1987], la cual contiene
veintisiete clulas por vecindad.

3. Componentes

Clula
- Elemento bsico del AC
- Las clulas pueden ser pensadas como elementos de memoria que
almacena la informacin de su estado.
- Todas las clulas son actualizadas sincrnicamente de acuerdo a reglas
de transicin.
Lattice
-

red espacial de clulas


Lattice simple es de una dimensin.

4. Comportamiento
Interacciones locales llevan a dinmicas globales.
- el comportamiento de un AC es semejante al de la ola en un evento
deportivo.
- Cada persona reacciona al estado de sus vecinos (si ellos estn, el esta).
Aplicacin de reglas.
3

El estado siguiente de la clula central esta relacionado los estados de la


vecindad de clulas y su estado actual.
- El estado siguiente de la clula central solo depende de la suma de los
estados de sus clulas vecinas.
Vecindades
- von Neumann
Una vecindad en forma de diamante es usada para definir un conjunto de
clulas alrededor de una clula dada (x, y) y afecta la evolucin de un AC de
dos dimensiones sobre una cuadricula.

Figura la vecindad de von Neumann de rango r = 0, 1, 2, y 3 es mostrada.


La vecindad von Neumann de rango r es definida por

Vecindad de von Neumann

Figura : Vecindad de von Neumann


- Moore
Una vecindad formada de cuadros puede usarse para definir un conjunto de clulas que
rodean una clula dada (x, y) y que pueden afectar la evolucin del AC bidimensional
definido sobre una malla cuadrada.

Figura. Las vecindades de Moore de rango r = 0, 1, 2, y 3 son mostradas.


La vecindad de Moore de rango r se define

Las clulas de la frontera usualmente son consideradas como un de


rededor envolvente.

Sistema de reglas
- Las reglas definen el comportamiento dinmico del AC.
- Existen diferentes formas para determinar la etapa siguiente: El estado
siguiente de la clula podra basarse:
De la suma de los estados de sus vecinos. (Juego de la vida).
Modificar el alcance de los vecinos: Local (los que toca la clula), cerrado
(vecinos de vecinos), global (cualquier vecino en el sistema) o usar vecinos
aleatorios.

5. Caractersticas

Lattice discreta de clulas.


Homogeneidad. Todas las clulas de la lattice son equivalentes.
Estados discretos. Cada clula toma un valor de un nmero finito
de estados discretos posibles.
Interacciones locales. Cada clula interacta slo con clulas que
estn en su vecindad local.
Dinmica discreta. En cada unidad de tiempo discreto, cada
clula actualiza su estado actual de acuerdo a la regla de
evolucin, tomando en cuenta los estados de las clulas en s
vecindad.

6. Clases
Los AC lineales son clasificados en 4 clases:
Clase 1. El sistema llega a un estado fijo despus de un tiempo corto.
Clase 2. El sistema desarrolla comportamiento peridico, que se repite
continuamente.
Clase 3. el sistema es a-peridico, donde cambia continuamente en forma no
predecible.
Clase 4. El sistema desarrolla patrones pero de forma inestable.

Figura. Las 4 clases de comportamiento halladas en la evolucin de AC 1-dim desde un


estado inicial arbitrario.

La notacin de Wolfram para un AC lineal es (k, r) donde k es el nmero de estados de


cada clula y r es el nmero de clulas en cada lado de la vecindad
Dado un AC (k, r), se tiene que:

Cada vecindad es de longitud


Existen k
posibles vecindades diferentes.
Existen k
posibles reglas de evolucin.
n= 2r+1

2r +1

k 2r+ 1

As, un AC (3, 1) tiene 3 x 3 x 3 = 27 vecindades y el nmero total de reglas posibles ser


de 327, algo as como del orden de 1012.
7. Operacin
Tabla de una regla:
VECINDAD 111 110 101 100 011 010 001 000
Salida
1
1
1
0
1
0
0
0
7
6
5
4
3
2
1
Regla
1*2 1*2 1*2 0*2 1*2 0*2 0*2 0*20
32+
+0
+8
+0
+0
0
Nmero =232 = 128+ 64+
Tabla de Evolucin de la regla 232 a partir del estado inicial T = 0
T= 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1
0
T= 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1
1

8. Variantes
AC asncrono. Las reglas del AC son definidas para actualizar simultneamente
los valores de todas las clulas de la lattice en cada etapa de tiempo. Una
generalizacin es quitar esta restriccin permitiendo la actualizacin asncrona.

AC probabilista. Son AC en los que el estado de transicin determinista es


remplazado por especificaciones de probabilidad en la asignacin del valor de
la clula.

AC No homogneo. Son AC en el que las reglas de transicin de estado es


permitido variar de clula a clula.

AC mvil. Son AC en los que algunas (o todas) las clulas de la lattice son
libres de moverse alrededor de la lattice.

AC de estructura dinmica. La lattice es una arena para la actividad, no un


participante activo en la dinmica. Si la topologa (las clulas y las conexiones
entre las clulas) evolucionan junto el valor de las clulas.
Existen solo 3 tessellation regulares (compuestas de hexgonos, cuadrados y
triangulos [Ghyka 1977])

9. Aplicaciones
Simulaciones
- Flujo de trfico.
- Flujo areo.
- Procesos de cristalizacin.
- Desarrollo urbano.
- Comportamiento de un gas.
- Propagacin de fuego forestal
Alternativa a las ED
10. Definicin
Un AC es una 4-tupla (d, S, H, )
donde:
d es un nmero natural llamado la dimensin.
S es un conjunto finito de elementos llamados estados y es denotado por:
S = {sk : k {0 ,..., |s | - 1}
}.

H es un subconjunto finito de Zd llamado vecindad y es denotado por:


{ vj = {x1,j , ..., xd,j } : j {1, ..., |H| } }, donde los elementos son llamados
vectores vecindad.

es una funcin de S|H| en S, llamada la funcin de evolucin o transicin.


Analoga con la teoria de los sistemas dinamicos
Los comportamintos descutidos de los AC son anlogos a las 3 clase
de comportamiento hallado en la solucion de ecuaciones diferenciales (SD
continuos). Para alguanas ED las soluciones obtenidas con cualquier
9

solucion inicial se aproxima a un pounto fijo en un cierto tiempo. Este


comportamiento es anlogo al comportamiento de la Clase 1 de los AC. Una
segunda clase de ED, la solucion despus de un tiempo es es un ciclo.
Finalmente, algunas ED exiben comportamiento complicado, aparentemente
catico dependiendo de sus condiciones iniciales. La correspondencia entre
clases de comportamiento halladas en AC y las halladas en los SD continuos
apoya la generalidad de estas clase. Mas aun, la simplicidad matemtica de
los AC sugiere que la investigacin de su comportamiento puede dilucidar el
comportamiento de los SD continuos.
12. Referencias
Computation in Cellular autmata: A selected Review. Mitchell Melanie.
Cellular autmata: A discrete Universe. Ilachinski.
Ghyka, M. The Geometry of Art and Life. New York: Dover, 1977.
von Neumann, J. ``The theory of self-Reproducing Automata'' , compilado y
editado por W. A. Burks, University of Ilinois press, 1966.
Burks, A.W. editor, ``Essays on Cellular Automata'', University of Illinois
Press, 1970
McIntosh, H.V. Linear Cellular Automata'', Universidad Autnoma de
Puebla, Mxico 1987. Revisado en 1990.
Gardner, M. Mathematical Games - The fantastic combinations of John
Canway's new
Wolfram, S. Statistical Mechanics of Cellular Automata'', Reviews of
Modern
Wolfram, S.Universality and Complexity in Cellular Automata '', Physica
D,
McIntosh H.V.Linear Cellular Automata via de Bruijn Diagrams'', Physica
D 999
McIntosh H. V. Reversible Cellular Automata'', Physica D 999 (1996) ,pp.
100-130, North-Holland Amsterdam.
Wolfram S. A New Kind of Science. Champaign, IL: Wolfram Media, 2002.
Voorhees, B.H ``Computational analysis of one-dimensional cellular
automata'', Word Scientific Series on Nonlinear Science Series A Vol. 15,
USA 1996.
Tellez-Castillo G. Tesis. CIC-IPN, 1998. Mexico.

10