10 Introduccion CA

Modelos de computacin inspirados en biologa:
Doctorado 2002/2003
2 cuatrimestre
Alfonso Ortega: alfonso@ii.uam.es
Abdel Latif Dalhoum: albel.latif@ii.uam.es
Marina de la Cruz: marina@ii.uam.es
Rafael Snchez Alfonso: rafael_sanchez@es.ibm.com
Rafael Nez Hervs: rafaups@yahoo.com
Juan de Lara Jarramillo: Juan.Lara@ii.uam.es
Manuel Alfonseca: Manuel.Alfonseca@ii.uam.es
Tema 4: Introduccin a los Autmatas Celulares
Sesin 5
Introduccin a los autmatas celulares.
4
Descripcin informal de autmatas celulares
Estructura de entes comunicados entre s de forma regular de manera que el
comportamiento de cada uno est afectado por el de sus vecinos.
Es esencial fijar una estructura regular o topologa en la que se distribuyen
uniformemente los entes. Esa estructura recibe en general el nombre de rejilla.
Los entes no son otra cosa que autmatas (de los que se estudi en asignaturas
como Teora de Autmatas y Lenguajes Formales)
Es importante conocer el estado en el que estn los autmatas de la rejilla, a esos
valores se le llama configuracin.
Conceptos generales
5
Descripcin informal de autmatas celulares
Los autmatas celulares han sido estudiados y son de inters en diferentes
disciplinas
Simulacin de sistemas complejos,
Como alternativa al enfoque tradicional de expresin de los sistemas
mediante las ecuaciones diferenciales que describen el comportamiento
de sus variables.
Incluso en algunos trabajos se ha propuesto su uso como herramienta
para la solucin de las ecuaciones asociadas a ciertos sistemas [Boo96])
Informtica terica,
Alguno de ellos es computacionalmente completo, y como cualquier otra
arquitectura abstracta discreta, son objeto de estudio de la Informtica
Terica
Como un nuevo sistema complejo:
El estudio de los autmatas celulares tambin ha sido abordado por
algunos autores como si fueran otros sistemas complejos fsicos ms
([Wol94])
Utilidad de los autmatas celulares
6
Descripcin formal de autmatas celulares
Un autmata celular se puede definir como la sxtupla
(G,G
0
,N,Q,l,T}
Donde
G es una matriz (rejilla) de autmatas (n dimensional). Esta rejilla se puede
formalizar con ms precisin si es necesario.
G
0
es una asignacin inicial de estados a cada autmata de G.
N es la funcin que asigna a cada autmata el conjunto de sus vecinos
(funcin vecindario). Esta funcin se puede formalizar con ms precisin si
es necesario.
Q, conjuntos de estados posibles.
l, funcin de transicin que asigna un nuevo estado a un autmata teniendo
en cuenta el estado de todos sus vecinos.
T conjunto de estados finales. Muchas veces no se utiliza y se deja vaco ()
Un autmata celular se puede definir como la sxtupla
(G,G
0
,N,Q,l,T}
Donde
G es una matriz (rejilla) de autmatas (n dimensional). Esta rejilla se puede
formalizar con ms precisin si es necesario.
G
0
es una asignacin inicial de estados a cada autmata de G.
N es la funcin que asigna a cada autmata el conjunto de sus vecinos
(funcin vecindario). Esta funcin se puede formalizar con ms precisin si
es necesario.
Q, conjuntos de estados posibles.
l, funcin de transicin que asigna un nuevo estado a un autmata teniendo
en cuenta el estado de todos sus vecinos.
T conjunto de estados finales. Muchas veces no se utiliza y se deja vaco ()
Definicin general
7
Autmatas celulares unidimensionales binarios
El conjunto de los autmatas celulares unidimensionales binarios ha sido estudiado
de forma exhaustiva.
Dadas sus caractersticas especiales se suele utilizar en la literatura una notacin
especfica y cmoda para este conjunto de autmatas.
Fijado un vecindario que suele estar formado por:
Algunos vecinos (ms prximos) a la izquierda del autmata estudiado
(digamos m).
El autmata estudiado
Algunos vecinos (ms prximos) a la derecha del autmata estudiado
(digamos n).
Como cada uno de estos m+n+1 autmatas puede tomar un valor binario ({0,1}),
habr en total 2
m+n+1
posibles valores para el vecindario.
Nomenclatura
8
La funcin de transicin del autmata tiene que dar valor a cada una de las
posibles 2
m+n+1
configuraciones del vecindario. Es decir, el nmero de posibles
funciones de transiciones distintas para este vecindario ser
Cada una de ellas ser un nmero binario de m+n+1 dgitos
Se suele utilizar, en lugar del nmero binario, su representacin entera.
Los autmatas suelen tomar como nombre el nmero de su funcin de transicin
Nomenclatura
1 n m
2
2
+ +
9
En el estudio de los autmatas celulares unidimensionales binarios con vecindario
limitado a los vecinos ms prximos:
m=1
n=1
Hay 2
m+n+1
= 2
1+1+1
= 2
3
= 8 posibles vecindarios
Hay 2
8=
256 posibles funciones de transicin del conjunto {0, 1,..., 255}
Los posibles autmatas celulares toman tambin su nombre del conjunto {0,
1,..., 255}
Ejemplo 1:nomenclatura
10
Autmatas celulares unidimensionales
Descripcin.
Autmata celular unidimensional con vecindad los dos vecinos ms
prximos y cdigo decimal de funcin de transicin 90.
Tras las 24 primeras generaciones a partir de 0
23
10
23
se identifica la punta
de flecha de Sierpinski.
La codificacin decimal 90 es la binaria 01011010 que se muestra a
continuacin.
Tambin se muestra la grfica obtenida tras las 24 primeras generaciones.
Ejemplo 2: Punta de flecha de Sierpinski
11
1
1
0
0
1
1
1
1
1
1
0
0
1
0
0
1
0
1
0
1
0
1
1
0
Predecesor Actual Sucesor Siguiente
0
0
0
0
0
1
0
1
12
13
Autmatas celulares bidimensionales
El alumno puede encontrar una descripcin de este bien conocido autmata celular
planteado inicialmente casi como un juego en [Cnw]
Descripcin informal
Es un autmata celular cuya rejilla es una matriz bidimensional infinita.
Los vecinos que influyen en cada autmata son los 8 que lo rodean.
Cada autmata individual puede tener valor 0 o 1.
Para la funcin de transicin.
Los cambios de valor siguen las siguientes reglas:
Un autmata en estado 0 cambia a 1 (nacimiento) si 3 de sus vecinos
estn a 1, en otro caso sigue a 0.
Un autmata en estado 1 sigue en estado 1 si 2 o 3 de sus vecinos
estn en estado 1. Cambia a 0 (muerte) en los dems casos.
Ejemplo 3: Juego de la vida de Conway
14
A continuacin se muestra una grfica que ilustra un ejemplo de su
comportamiento.
Es importante sealar que
Hay regiones en donde se llega a una situacin estable de muerte (0)
Hay regiones en donde se llega a una situacin estable de vida (1)
Hay regiones en la que se alterna entre unos patrones y otros.
Aparecen patrones que se desplazan en el espacio.
Esas son caractersticas que hacen que sea computacionalmente completo.
15
16
Juego de la vida
Considere el autmata celular bidimensional llamado Juego de la Vida.
Considere la configuracin inicial de la siguiente figura (las celdas vacas contienen
autmatas en estado 0).
Se pide:
Dibuje, con el mismo criterio las tres prximas configuraciones.
No es necesario analizar las celdas punteadas, selas slo para determinar las
condiciones de contorno.
Ejercicio 8: enunciado
17
Tipos de autmatas celulares
Ya que en el fondo son conjuntos de autmatas, puede definirse tantas clases
como tipos de autmatas hay.
Algunas familias interesantes son las siguientes:
Autmatas celulares no deterministas.
La funcin de transicin especifica un conjunto de posibles estados
siguientes para cada configuracin de los vecinos.
Autmatas celulares probabilistas. y la de los
La funcin de transicin especifica, como antes, un conjunto de posibles
estados siguientes para cada configuracin de los vecinos y define,
adems, una distribucin de probabilidades discreta para asociar una
probabilidad a cada opcin.
Descripcin informal
18
Ms formalizacin de autmatas celulares
Una vez realizada una primera aproximacin a los autmatas celulares y un primer
anlisis de algunos ejemplos, se va a formalizar con ms precisin alguno de los
conceptos asociados con autmatas celulares.
Justificacin
19
El concepto de rejilla hace referencia a la topologa (estructura regular) sobre la
que se disponen los autmatas individuales que forman el autmata celular.
La formalizacin deber describir los siguientes aspectos:
Conjunto de ndices permitidos para acceder a cada posicin de la rejilla.
Manera de especificar cada posicin permitida dentro de la rejilla.
Presentacin informal del concepto de rejilla
20
Dados n conjuntos de ndices no necesariamente finitos
Dado un conjunto E.
Una rejilla n-dimensional sobre E es cualquier funcin
A:I
0
... I
n-1
E,,
En este contexto podremos utilizar la siguiente notacin para referirnos al
conjunto de las posiciones permitidas de la rejilla:
Donde el producto de la expresin es el producto cartesiano
Dados n conjuntos de ndices no necesariamente finitos
Dado un conjunto E.
Una rejilla n-dimensional sobre E es cualquier funcin
A:I
0
... I
n-1
E,,
En este contexto podremos utilizar la siguiente notacin para referirnos al
conjunto de las posiciones permitidas de la rejilla:
Donde el producto de la expresin es el producto cartesiano
Definicin de rejilla
{ } i Z I , , I
i
1 n
0 i
i

( ) [ ]
( )
1 n 0 1 n 0
1 n 0 } notacin ( i ,..., i } notacin ( 1 n 0
I ... I i ,..., i
E i ,..., i A A i ,..., i A
1 n 0

( ) i Z I , , I R dom
i
1 n
0 i i

21
Se escribir
Para referirse al conjunto de todas las rejillas sobre E de esas dimensiones.
Se escribir
Para referirse al conjunto de todas las rejillas sobre E de esas dimensiones.
Notacin para el conjunto de todas las rejillas sobre un conjunto
( )
'
caso otro en
linito I si I max 1
a , , sobreE R
i i
i a ,..., a
1 n 0
22
Como ya se ha indicado el comportamiento de cada autmata individual de la rejilla
est determinado por su relacin local con otros autmatas cercanos.
El concepto de vecindad se refiere a la manera de localizar los autmatas cercanos
que influyen en el comportamiento de cada autmata individual de la rejilla
La formalizacin tendr que definir las posiciones donde se encuentran los vecinos.
En esencia, la vecindad de un autmata celular describe:
El nmero de vecinos que afecta a cada posicin de la rejilla.
Los desplazamientos que hay que aplicar (sumar) a una posicin para obtener
las de sus vecinos.
Presentacin informal del concepto de vecindad
23
Una vecindad n-dimensional V se define de la siguiente manera
V=(k,N},,
Donde
k (nmero de vecinos, es el conjunto de nmeros naturales)
N(Z
n
}
k
,es decir,
Una vecindad n-dimensional V se define de la siguiente manera
V=(k,N},,
Donde
k (nmero de vecinos, es el conjunto de nmeros naturales)
N(Z
n
}
k
,es decir,
Definicin de vecindad n-dimensional
( )
( )
,
_
k
1 n
k
0 k
0
1 n
0
0 0
,...,
...
,...,
N
/
/
24
Una vez que se sabe qu posiciones (relativas a una estudiada) ocupan sus
vecinos, es necesario determinar las posiciones absolutas (dentro de la rejilla) que
ocupan los vecinos de una posicin concreta determinada.
El concepto de vecindario atiende esta necesidad.
En esencia el vecindario realiza la suma de los desplazamientos especificados por
la vecindad del autmata celular a la posicin estudiada para formar el conjunto de
posiciones de sus vecinos.
Presentacin informal del concepto de vecindario
25
Sea una posicin , G una rejilla n-dimensional sobre Q y V=(k,N} una
vecindad n-dimensional
Se define vecindario en G de la posicin por la vecindad V mediante la
expresin
Donde
dom(G} es el conjunto de posiciones permitidas dentro de la rejilla y se puede
omitir siempre que no haya dudas respecto a la rejilla y, por tanto, el conjunto
de ndices utilizado.
Y representa el conjunto de posiciones que ocupan los vecinos de la posicin
especificada.
Definicin de vecindario de una posicin en una rejilla
( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
( )
( )
( )
( )
{ } N i
N i ,..., i ,..., i
i vecindario
i , G dom , N , k V vecindario
[ G dom G dom : G dom , N , k V vecindario
j j conjunto . not
j 1 k j 0 vectorial . not
k
+
+ + +
/ / /
/ / / / / / /
/
/

hay no si
n
Z i
/
i
/
26
Es necesario disponer de una manera de referirnos a la imagen del autmata
celular en un instante determinado.
Esta imagen estar compuesto por los estados que en el instante concreto tomen
los autmatas individuales en cada posicin de la rejilla.
El concepto de configuracin atiende esta necesidad.
Realmente es una especie de proyeccin que toma cada posicin sobre la rejilla y
proporciona el estado en el que se encuentra el autmata individual que ocupa esa
posicin.
Tambin se extender su uso a un conjunto de posiciones proporcionando el
conjunto de estados en los que se encuentran los autmatas localizados con
ellas.
Presentacin informal del concepto de configuracin de un autmata celular
27
Sea A un autmata celular, la configuracin necesitar conocer
Su rejilla R que supondremos ser una rejilla n-dimensional.
Su conjunto Q de todos los posibles estados de los autmatas de R.
Se llama configuracin de un autmata celular A en un instante t (C(A,t}) a
una funcin dependiente del tiempo
Donde es el estado del autmata de la posicin especificada.
La segunda igualdad utiliza la expresin definida anteriormente de dom(R}
El autmata A y el instante t pueden omitirse siempre que quede claro cules
son los estudiados
La configuracin realmente es una especie de proyeccin en el espacio (toma
como argumento una posicin sobre la rejilla para devolver su estado) y en el
tiempo (en cada instante devuelve la correspondiente al nmero de
generaciones o veces que se ha aplicado la funcin de transicin desde la
configuracin inicial del autmata celular)
Sea A un autmata celular, la configuracin necesitar conocer
Su rejilla R que supondremos ser una rejilla n-dimensional.
Su conjunto Q de todos los posibles estados de los autmatas de R.
Se llama configuracin de un autmata celular A en un instante t (C(A,t}) a
una funcin dependiente del tiempo
Donde es el estado del autmata de la posicin especificada.
La segunda igualdad utiliza la expresin definida anteriormente de dom(R}
El autmata A y el instante t pueden omitirse siempre que quede claro cules
son los estudiados
La configuracin realmente es una especie de proyeccin en el espacio (toma
como argumento una posicin sobre la rejilla para devolver su estado) y en el
tiempo (en cada instante devuelve la correspondiente al nmero de
generaciones o veces que se ha aplicado la funcin de transicin desde la
configuracin inicial del autmata celular)
Definicin de configuracin de una rejilla de autmatas
( ) ( )
( ) i t A i , t , A C
[ Q I Q R dom : t , A C
1 n
0 i
i
/ /
la en instante el en de autmata del estado el es
o
( ) i , t , A C
/
28
La definicin anterior ser extendida de forma natural a conjuntos de posiciones y
conjuntos de estados de la siguiente manera
De forma que producir el conjunto (o vector) de estados en los que se
encuentren, en el instante estudiado, los autmatas individuales que ocupen las
posiciones indicadas.
La definicin anterior ser extendida de forma natural a conjuntos de posiciones y
conjuntos de estados de la siguiente manera
De forma que producir el conjunto (o vector) de estados en los que se
encuentren, en el instante estudiado, los autmatas individuales que ocupen las
posiciones indicadas.
Definicin de configuracin de una rejilla de autmatas
( ) ( ) ( ) ( ) Q R dom : t , A C
29
A continuacin se va a introducir la posibilidad de especificar diferentes estados
siguientes para cada posicin de la rejilla, cada uno de ellos con una probabilidad.
Se manejar distribuciones discretas de probabilidad que indiquen cul es la
probabilidad de estar un autmata individual de la rejilla en cada uno de los
posibles estados.
Ser necesario extender la idea de configuracin definida anteriormente para que,
indique la distribucin de probabilidades de cada posicin de la rejilla en un
momento determinado
Presentacin informal del concepto de configuracin probabilista
30
Se define configuracin probabilista n-dimensional de un autmata celular n-
dimensional probabilista A=(G,G
0
,V,Q,F,T} en un instante t (C
P
(A,t}) a una funcin
Donde
En la tercera lnea (que especifica la semntica de cada posicin de las
imgenes de la funcin) se est utilizando notacin subndice para la
proyeccin, es decir, el primer miembro de la igualdad de la segunda lnea es
el valor contenido o asociado a la posicin (al estado) q
j
Y que asigna en cada instante t a cada elemento de la rejilla un vector de
probabilidades de estar en cada estado.
(*)
Se tiene que entender aqu la rejilla como el conjunto de los valores de cada
posicin.
(**)
En ese sentido la representacin expresa la mismo que este conjunto.
Se define configuracin probabilista n-dimensional de un autmata celular n-
dimensional probabilista A=(G,G
0
,V,Q,F,T} en un instante t (C
P
(A,t}) a una funcin
Donde
En la tercera lnea (que especifica la semntica de cada posicin de las
imgenes de la funcin) se est utilizando notacin subndice para la
proyeccin, es decir, el primer miembro de la igualdad de la segunda lnea es
el valor contenido o asociado a la posicin (al estado) q
j
Y que asigna en cada instante t a cada elemento de la rejilla un vector de
probabilidades de estar en cada estado.
(*)
Se tiene que entender aqu la rejilla como el conjunto de los valores de cada
posicin.
(**)
En ese sentido la representacin expresa la mismo que este conjunto.
Definicin de configuracin probabilista de autmatas celulares
( ) ( ) ( ) [ ] ( )
j t q
P
} notacin (
P
q
q i G p i , t , A C i , t , A C
j j

/ / /
( ) ( ) [ ] { }
( )
[ ] { }
( )
( )
* * Q # * Q #
a , , a
P
1 , 0 1 , 0 sobre R R dom : t , A C
1 n 0

( ) [ ] { }
( )
[ ] { }
( )
( )[ 1 , 0 1 , 0 sobre R I : t , A C
* * Q # * Q #
a , , a
1 n
0 i
i
P
1 n 0
o

31
Un autmata celular n-dimensional probabilista es la sxtupla
A=(G,G
0
,V,Q,F,T}
Donde
G es una rejilla n-dimensional sobre un conjunto de autmatas finitos
probabilistas.
Q es el conjunto de estados.
V=(k,N} es una vecindad n-dimensional.
TQ conjunto de estados finales.
G
0
es una funcin (de vectores de estado iniciales)
Un autmata celular n-dimensional probabilista es la sxtupla
A=(G,G
0
,V,Q,F,T}
Donde
G es una rejilla n-dimensional sobre un conjunto de autmatas finitos
probabilistas.
Q es el conjunto de estados.
V=(k,N} es una vecindad n-dimensional.
TQ conjunto de estados finales.
G
0
es una funcin (de vectores de estado iniciales)
Autmata celular n-dimensional probabilista
Definicin
( ) ( )
( )
( ) ( )
( )
( ) ( ) [ ] ( )
i 0 t
q
0 notacin 0 q notacin 0 i
q i G p i G i G i G
i
i

/ / / /
( ) [ ] { } , , 1 , 0 G dom : G
Q #
0

32
Autmata celular n-dimensional probabilista
F, matriz de probabilidades de transicin para cada posible configuracin de los
vecindarios.
Donde:

i
(} es la proyeccn i-sima
Obsrvese que F puede verse como un conjunto de matrices cuadradas
(#Q#Q) que tiene un elemento para cada posible configuracin de los
vecindarios (#Q
k=0(V}
)
En cada casilla de cada matriz est la probabilidad de pasar de un estado a
otro, supuesto ese vecindario
F, matriz de probabilidades de transicin para cada posible configuracin de los
vecindarios.
Donde:

i
(} es la proyeccn i-sima
Obsrvese que F puede verse como un conjunto de matrices cuadradas
(#Q#Q) que tiene un elemento para cada posible configuracin de los
vecindarios (#Q
k=0(V}
)
En cada casilla de cada matriz est la probabilidad de pasar de un estado a
otro, supuesto ese vecindario
( )
( )
( ) ( )

,
_
s t , i , V vecindario C
, q t , i C
q 1 t , i C
p
a
i a
j a
/
/
/
/
( )
( )
[ F
Q # Q # Q #
V
0
k

vecindario un de in conligurac la para s usemos , , G en Z i , t

n
a
/
/
[ ]
j i j , i , s
q , q , s F F
/
/
Definicin
33
Vector de estado siguiente de cada autmata
A continuacin se presenta la definicin recursiva del clculo de las
configuraciones probabilistas para una posicin concreta, es decir, del vector de
estado siguiente de cada autmata individual en la rejilla.
Descripcin informal
34
Donde
: producto de matrices habitual.

t
: producto tensorial (todas las combinaciones posibles de productos)
: producto elemento a elemento (del mismo ndice).
Donde
: producto de matrices habitual.

t
: producto tensorial (todas las combinaciones posibles de productos)
: producto elemento a elemento (del mismo ndice).
Clculo
( ) i , , A C
P
/
( ) ( )
( ) ( )
( )

'
>
,
_
,
_

0 si F j , 1 , A C i , 1 , A C
0 si G dom i i G
t
i , V vecindario j
P P
0
/ /
/ /
/ /
35
Se estudia el autmata x, (con su vector de estado p
x
).
Se considera el conjunto de estados: {q
1
,...,q
m
}
Se considera v vecinos (identificados desde el 1 al v) cada uno con (j) su vector de
estado ( p
j
).
Hay m
v
posibles configuraciones del vecindario, cada una (c
i
):
Con su matriz de transicin F[c
i
].
Con su probabilidad determinada por (
t
p
j
} [c
i
]
Se puede calcular la suma de las matrices actuales (escaladas por los elementos
de
t
)
El producto de esta matriz y p
x
es el vector de estado siguiente de x (p
x
) .
Esquema del clculo
36
x
p
/
[ ] [ ]
1 v 1 1
q p q p
/
/

[ ] [ ]
v 1
i v i 1
q p q p
/
/

[ ] [ ]
m v m 1
q p q p
/
/

[ ]
1 1 0
q , , q c
F

[ ]
m m v
m
q , , q c
F

[ ]
v
i
q , ,
1
i
q
i
c
F

1
1
1
1
1
1
]
1

m
l
1
m k 1
q
q
q
q q q
[ ]
m i 1
q q q x
,..., ,..., p
/
[ ]
m i 1
q q q 1
,..., ,..., p
/
[ ]
m i 1
q q q v
,..., ,..., p
/
0
c
F
i
c
F
v
m
c
F
Producto mismo ndice
t
Producto tensorial
+ matriz
x matriz
37
Dado el autmata A
1
=(G
1
,G
0_1
,V
vN
,Q
1
,M,T}, donde
G
1
es rejilla bidimensional cuadrada infinita centrada en (0,0).
Q
1
={0,1}
G
0
( (i,j} }=(0.5,0.5} [i,jN (inicialmente todas las posiciones pueden estar a 0
o 1, equiprobable)
V
vN
=( 4, { (i-1,j}, (i ,j+1}, (i+1, j}, (i, j-1} } } (von Neumman)
T=
M definida segn la siguiente grfica
Dado el autmata A
1
=(G
1
,G
0_1
,V
vN
,Q
1
,M,T}, donde
G
1
es rejilla bidimensional cuadrada infinita centrada en (0,0).
Q
1
={0,1}
G
0
( (i,j} }=(0.5,0.5} [i,jN (inicialmente todas las posiciones pueden estar a 0
o 1, equiprobable)
V
vN
=( 4, { (i-1,j}, (i ,j+1}, (i+1, j}, (i, j-1} } } (von Neumman)
T=
M definida segn la siguiente grfica
38
39
Dada la siguiente notacin para los vecinos y vectores de estado iniciales
1
x
0
3
4
Autmata 1
0,2 p
1
0,8
0,6 p
2
0,4
0,3 p
3
0,7
0,9 p
4
0,1
0,1 p
x
0,9
2
40
Se pide: calcular p`
x
(utilizar hojas auxiliares)
Se pide: calcular p`
x
(utilizar hojas auxiliares)
41
Probabilidad de que un CA probabilista est en una configuracin
La probabilidad de que un autmata celular probabilista (A) cuya configuracin
probabilista es C
P
(} est en una configuracin determinada (C), se llama p
t,A
(C} y
se calcula as:
Definicin
( )
( )
( ) ( )
( )

G dom i
P
t , i C
A , t
t , i C C p
/
/
/
Se accede a la
componente asociada al
estado C(i,t} del vector
de estados de a C
P
(a}.
Se recorre la rejilla del autmata A (G) y se
multiplica la probabilidad de que el
autmata de cada posicin est en el
estado que le asigna la configuracin C
42
Autmatas celulares tridimensionales
Supngase la siguiente situacin:
Se considerar una rejilla tridimensional consistente en el siguiente prisma
infinito por la derecha
43
Y se considera la vecindad descrita en la siguiente grfica
44
Se utilizar el siguiente conjunto de estados:
Los autmatas de la rejilla son binarios, y adems se utiliza un carcter
de relleno para formalizar las condiciones de contorno
El conjunto de estados es {0,1,r} (0 color claro, 1 color oscuro, r no
visible)
Se considerar la configuracin inicial descrita en la siguiente figura:
45
La funcin de transicin es la reflejada en las siguientes grficas.
46
47
La funcin de transicin puede describirse as:
Cada autmata cambia sin tener en cuenta su vecino horizontal por la
derecha.
Si los cuatro vecinos verticales valen 0, el siguiente estado toma el valor
contrario al que tuviera (sin tener en cuenta el vecino izquierdo)
Si los cuatro verticales valen 1, se cambiar slo cuando los valores del vecino
izquierdo y del autmata estudiado sean distintos.
En cualquier otro caso, incluido el relleno del contorno, no cambia.
Se pide:
Describir el comportamiento del sistema.
48
Biobliografa
[Boo96], Boon, J.P, Dab, D. Kapral, R. Lawnizcak, A.: Lattice Gas Automata for
Reactive Systems. Physics Reports 273, pp. 55-147, 1996
[Wol94], Wolfram, S., 1994: Cellular Automata and Complexity. Collected papers.
Addison-Wesley Publishing Company
[Cnw] Conway, J.H., Berlekamp, E.R., Guy, R. K., Winnings ways for your
mathematical plays. New York: Academic Press, Vol 2, Cap. 25

10 Introduccion CA

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

10 Introduccion CA

Transféré par

Droits d'auteur :

Formats disponibles

Modelos de computacin inspirados en biologa:

vecindario un de in conligurac la para s usemos , , G en Z i , t

Producto mismo ndice

Vous aimerez peut-être aussi