![Page 1: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/1.jpg)
Modelación de sistemas
complejos usando
autómatas celulares
G. Téllez-Castillo [email protected]
CIC-IPN
Marzo 27 de 2012
![Page 2: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/2.jpg)
Autómatas Celulares Abstract
![Page 3: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/3.jpg)
Indice
I. AC-componentes.
II. AC-Historia breve.
III. AC-Aplicaciones.
IV. AC-en diferentes contextos.
![Page 4: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/4.jpg)
Introducción
AC
Es un sistema dinámico discreto.
Es herramienta para modelar sistemas naturales tq:
- tiene componentes idénticas y
- componentes interactúan localmente unos con otros.
![Page 5: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/5.jpg)
I. Un AC esta compuesto de...
![Page 6: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/6.jpg)
AC elemental
![Page 7: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/7.jpg)
Regla 90
![Page 8: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/8.jpg)
8CIC-IPN
Reglas: 3011, 9012, 11021, 25022,
25431
![Page 9: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/9.jpg)
Función Global
![Page 10: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/10.jpg)
II. Breve historia AC
1950. John von Neumann
1969. Gustav Arnold Hedlund
1970. John Horton Conway
1983. Sthepen Wolfram
1990-2000 Resultados sobre aspectos
matemáticos y computacionales de los AC
![Page 11: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/11.jpg)
11CIC-IPN
John von Neumann (1903-1957)
Conexiones entre la biología y la teoría de autómatas.
¿Qué tipo de organización lógica es suficiente para que un
autómata sea capaz de auto-reproducirse?
El concepto original de AC es acreditado a Ulam
El desarrollo inicial del concepto AC es acreditado a von
Neumann.
![Page 12: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/12.jpg)
12CIC-IPN
Primer logro
AC auto-reproductor
![Page 13: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/13.jpg)
Gustav Arnold Hedlund
(1904-1993)
Agencia Nacional de Seguridad
Investigación:
Funciones continuas de secuencias de
símbolos en dinámica simbólica.
Las funciones de este tipo son ACL
Publica en 1969:
Endomorphisms and automorphisms of
the shift dynamical systems
![Page 14: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/14.jpg)
14CIC-IPN
John Horton Conway's (1937-)
El conocimiento público de los AC es
atribuido a Conway's.
Resultados sobre AC fueron presentados
en 1970 en un juego llamado “Life",
Life se divulgo en la columna mensual de Martin Gardner "Juegos Matemáticos" en Scientific American.
![Page 15: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/15.jpg)
15CIC-IPN
Life
![Page 16: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/16.jpg)
16CIC-IPN
Stephen Wolfram (1959-,) ACL
![Page 17: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/17.jpg)
Porqué son interesantes los AC ?
Modelos ideales para:
-- auto reproducción
-- computo paralelo
Aplicaciones en Ciencias de la computación:
VLSI, Computo tolerante a fallas,
criptografía, …
Modelación: fluidos, flujo de tráfico,
percolación, ecosistemas,…
Versiones estocásticas y otras extensiones.
![Page 18: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/18.jpg)
18CIC-IPN
III. Aplicaciones
AC y tránsito vehícular
tiempo
t + 1
t
Flujo de autos
lattice anillo
Las reglas son aplicadas consecutivamente y en paralelo
x(t + 1) x(t) + v(t)
v = 0
v = 1
v = 3 v = 1
v = 1
Δt
![Page 19: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/19.jpg)
19CIC-IPN
Nagel-Schreckenberg (1992)
espacio
tiempo
(embotellamiento)
![Page 20: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/20.jpg)
20CIC-IPN
Espacio (x) – tiempo (y)
![Page 21: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/21.jpg)
Modelación:
Dinámica de Peatones
![Page 22: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/22.jpg)
Diferentes velocidades
de peatones
![Page 23: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/23.jpg)
Patrones en dinámica peatonal
![Page 24: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/24.jpg)
AC y AG
![Page 25: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/25.jpg)
25
AC y AG
REGLA:
00111011010001000110100010110110111100111
01001000110111001011101100000110011011101
1001110100010001000010110010111000011001
11110101010111110011011101011111000100010
1001010001111110100000000010010001010110
0100000110100011101010101000111000100110
0100110010110000110010000010110100010110
11100001111110110001011000100101001110001
0110110011101011011001001000101000000011
0001110010000010111110000011100000000001
0000010000111001011100000000101000001101
10001101000100101101001100000011101111100
001010100001110100011010100
CI
CF
![Page 26: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/26.jpg)
Dinámica presa-predador
con AC
![Page 27: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/27.jpg)
Presa-predador
AC
![Page 28: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/28.jpg)
IV. AC en diferentes contextos
Combinatoria y dinámica simbólica.
Lenguajes y autómatas.
Indecibilidad
Computo y complejidad.
![Page 29: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/29.jpg)
Combinatoria y
Dinámica Simbólica
Mapeo global F:
Inyectividad, sobreyectividad e invertibilidad
Configuraciones finitas y periódicas
Inyectividad y sobreyectividad.
Dada una Configuración:
- Número de pre-imágenes y
- Conexión entre estas.
![Page 30: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/30.jpg)
Lenguajes y autómatas
Representación de un AC por medio de un
digrafo
Lenguaje generado por F después de n
iteraciones.
Lenguaje generado en el límite.
Lenguaje de la secuencia temporal generado
por una célula dada en la lattice.
![Page 31: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/31.jpg)
Indecibilidad
Una propiedad P diremos que es indecidible, si no existe un algoritmo finito que decide si AC tiene P.
Algunas propiedades indecidibles:
- Si el conjunto limite de un AC contiene:
-un block finito dado.
- Sobreyectividad para un AC de 2D
- Si el conjunto limite de un AC de 2D contiene
más de una configuración.
![Page 32: Modelación de sistemas complejos usando autómatas celulares · II. Breve historia AC 1950.John von Neumann 1969.Gustav Arnold Hedlund 1970.John Horton Conway 1983.Sthepen Wolfram](https://reader030.vdocuments.co/reader030/viewer/2022040120/5e93a07d75088d50e176ec15/html5/thumbnails/32.jpg)
Computo y complejidad
Constructor y computo universal.
Complejidad computacional: e.g. computo de
pre-imágenes y alcanzabilidad de ciertas
configuraciones.
Que lenguajes pueden ser reconocidos por
AC finitos.
Construcción de un AC finito para ejecutar
una tarea computacional dada.