Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Autmatas Celulares
Sptima sesin

Hugo Franco, PhD

28 de febrero de 2011

Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Primer Corte

Fecha, hora, lugar Lunes 7 de marzo, 6:30 p.m. (mximo 45 minutos), saln de clase Evaluacin Talleres 1, 2 y 3: 50 %, Parcial: 50 % Entrega de notas Lunes 14 de marzo (sitio web)

Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Contenido

Mquinas de Estado Finito

Autmatas Celulares

Modelos de Autmatas Celulares

Componentes de un Autmata Celular

Ejemplos y aplicaciones

Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Deniciones previas
Smbolo: Representacin abstracta de un objeto, en general es un
caracter que representa algn elemento del modelo

Alfabeto (Vocabulario): Conjunto nito de smbolos. Debe existir

al menos un smbolo en el alfabeto,

Cadena (Frase): Secuencia de smbolos construida con los

elementos de un Alfabeto.

Lenguaje: Es un conjunto de cadenas, las cuales deben estar

formadas con los smbolos de un Alfabeto

Estado: Es la situacin en que se halla un sistema en un momento

dado de su dinmica. El sistema slo puede estar en un estado a la vez.

Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Denicin de Mquina de Estado Finito

Mquina de Estado Finito: Modelo matemtico basado en la estructura de Grafo (Red) que representa el comportamiento de un sistema basado en reglas de

transicin entre un nmero nito de estados

Un autmata puede ser denido matemticamente como la 5-upla

M
Donde

{S, , T, q0 , A}
representacin de grafo) smbolos presentados a cada

S : Conjunto de estados (nodos en la : Alfabeto de entrada (conjunto de

nodo/estado)

T:

entrada vaca y

S Aplicacin de transicin S ( {}) 2 , donde 2S es el conjunto partes de S 

es la

q0 S : A S:

Estado inicial Conjunto de estados nales (de aceptacin) de la mquina

Hugo Franco, PhD Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Deniciones II
Mquina de Estado Finito Determinista: No acepta transiciones
basadas en la entrada vaca

toda cambio de estado se debe a la

presentacin de un y slo un elemento del alfabeto que, a su vez, siempre lleva al mismo estado de llegada.

Mquina de Estado Finito No-Determinista: Aquella que permite

que una misma entrada pueda llevar a dos estados diferentes (con alguna probabilidad asociada) o no llevar a ningn estado (inexistencia de la transicin).

Mquina de Estado Finito No-Determinista con Transiciones Vacas: La que permite cambios de estado sin que se hayan
presenten entradas a la mquina (lo que se representa mediante transiciones

).

Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Representacin de una MEF (AEF) como Grafo Dirigido

Una Mquina de Estado Finito se puede representar como un Grafo Dirigido extendido Se especializan los nodos, permitiendo representar el estado inicial y estado de aceptacin Se permite denir una arista que llega al mismo nodo del que parte (conservacin de estados) Los enlaces representan las transiciones entre dos estados
El valor del enlace es as el smbolo que produce la transicin entre el estado de partida y el de llegada

Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Tabla de Transiciones

Forma sinttica (no grca) de representar el comportamiento de una mquina de estado

Transiciones entre estados dependiendo de la entrada presentada a la mquina

Adecuada para Mquinas Deterministas... no es apropiada para autmatas no deterministas de transiciones estocsticas

q0 q1 q2

a1 q1 q0 q1

a2 q2 q2 q2

Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Representacin como cabeza de lectura/escritura

Cintas de entrada y salida

Suelen representar modelos especcos para comportamientos con memoria

Necesidad de recorrido sobre estados visitados

Ejemplo: Autmatas de Pila que almacenan el recorrido por el conjunto de estados para estudio posterior del comportamiento a una entrada dada

Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Ejemplo
Denir una mquina que modele un sistema de control simple de calefaccin de lazo cerrado

Apagado

t>t c

t<t c

t>t c

Encendido

t<t c

Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Ejemplo
Denir una mquina de estado nito determinista que acepte cadenas binarias que contengan un nmero par de ceros

Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Sintaxis
S = {1, 2, 3}, = {a, b}, T = (1, a, 2), (2, b, 3), (3, a, 1), (1, b, 3), q0 = 1, A = {3}
Sintaxis: Relacin entre el alfabeto y el conjunto de combinaciones de transiciones de la mquina que permiten llegar a un estado de aceptacin
Inducen un subconjunto de transiciones que se considera vlido Las cadenas constituidas de secuencias consecutivas de aes no estn en la sintaxis de esta mquina

Ejemplo:

Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Semntica
En trminos de modelado, la semntica de una mquina de estados est relacionada con la

interpretacin de los
componentes del modelo:
Cada nodo (estado) de la mquina en trminos de los estados anlogos del sistema real. Cada enlace representa el comportamiento dinmico del sistema ante condiciones externas y la evolucin de sus parmetros dados eventos especcos

Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Trazas
En trminos de grafos

Conjunto de trazas de una mquina de estado nito: el conjunto de

todos los caminos (de enlaces, transiciones) alcanzables desde el nodo (estado) inicial.
Genera el conjunto un conjunto de frases vlidas dentro de la dinmica de la Mquina Inducen una sintaxis

{a, b, a} {b, a}

camino 1, 2, 3, 1

camino 1, 3, 1 camino 1, 2, 3, 1, 3, 1 camino 1, 3, 1, 2, 3, 1 camino 1, 3, 1, 3, . . . , 1, 3

{a, b, a, b, a} {b, a, a, b, a}
etc.

{b, a, b, a, ..., b, a}

Hugo Franco, PhD

Autmatas Celulares

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Mquinas como Autmatas

Autmata: Modelo matemtico de una

mquina abstracta denida formalmente sobre un conjunto de estados, una serie de transiciones entre esos estados y los datos que rigen dichas transiciones Se congura el concepto de regla de transicin como componente dinmico del modelo

Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

El Autmata Celular

Autmata celular: Distribucin espacial

de unidades de cmputo interrelacionadas Cada nodo (clula) puede ser considerado por s mismo un autmata con su propio estado, cambiante en el tiempo. Las reglas de transicin se convierten en reglas de evolucin para cada clula Las reglas de evolucin de cada clula se denen sobre el estado de las clulas vecinas

Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Evolucin de los modelos de autmatas I

Autmatas nucleares (Autmatas de Estados Finitos) Mquinas de cmputo (Mquinas de Moore, Turing...) Autmatas celulares de Von Neumann Juego de la Vida (Gardner) Estudios de estabilidad de Wolfram

Hugo Franco, PhD

Autmatas Celulares

Modelos de Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Analoga con el modelado matemtico I

En un dominio de una dimensionalidad

dada, las

variables del problema (campos en

dimensiones) se estiman para

cada elemento de la malla correspondiente a la discretizacin del dominio

Relaciones dinmicas cuantitativas (ecuaciones diferenciales) Ejemplo: Modelo tipo PredadorPresa (Lotka Volterra):

dx dt dy dt

= =

Ax Bxy Cy + Dxy
Hugo Franco, PhD Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Analoga con el modelado matemtico II

En casos en los que las relaciones no sean fcilmente traducibles a variables en sistemas de ecuaciones, la evolucin del sistema no sern modelado como un sistema dinmico sino como una red de elementos que interactan mediante reglas
Reglas dinmicas cuantitativo/cualitativas. Mayor sentido de la discretizacin Ejemplo: Modelos predadorpresa modelados como supervivencia de individuos segn vecindad de presas/predadores a lo largo del tiempo
Hugo Franco, PhD Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

No linealidad y complejidad
Las reglas no representadas mediante operaciones matemticas y/o aplicacin de operadores integro/diferenciales (lineales) suelen llevar el sistema a comportamientos nolineales til en casos de sistemas no linealizables Riesgoso en trminos de control de la estabilidad del modelo

Sistemas dinmicos con componentes de no linealidad potencialmente pueden exhibir: Comportamientos caticos (transicin al caos) Comportamientos emergentes (dinmicas colectivas organizadas no previsibles por el anlisis individual de los elementos/estados)

Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Emergencia de los autmatas celulares

Un autmata celular es, pues, una representacin adecuada para el modelado y la simulacin de sistemas complejos basados en reglas no lineales o de difcil cuanticacin
Se asume la simplicacin propia de la discretizacin

homognea

del espacio

Se impone un anlisis basado en de variables continuas

estados

sobre elementos discretos y no en valores Cada nodo tiene un comportamiento de mquina/autmata. Los smbolos presentados para la transicin son el estado anterior del nodo y de sus vecinos

Hugo Franco, PhD

Autmatas Celulares

Componentes de un Autmata Celular

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Elementos
Un espacio

ndimensional

(usualmente 2D) dividido en un nmero de subespacios conocidos como clulas, denominado malla . En el caso usual, la subdivisin es regular (Teselacin Homognea) Cada clula puede estar en un

Un criterio de vecindad determinado por las posiciones relativas de las clulas consideradas vecinas a una clula dada Las reglas de evolucin denen cmo se darn los cambios de estado en cada celda, dependiendo del estado anterior propio y de su vecindad. Un Reloj de Cmputo conectado a todas las clulas, el cual generar los pulsos que aplican las reglas de evolucin.

estado, perteneciente a un conjunto nito (o numerable) o de

estados. Una Conguracin Inicial, consistente en la distribucin de estados de cada celda del autmata en

t0 .
Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Estructura de la vecindad
Una vecindad denida sobre una clula consiste en un conjunto de clulas contiguas, escogidas mediante algn criterio de vecindad.
Vecindad de Von Neumann: todas las clulas que compartan aristas (caras) con la clula evaluada. Ochovecinos (de Moore): todos los que tengan caras, aristas o tan siquiera vrtices comunes con la clula bajo evaluacin Vecindades denidas por mscaras: permiten introducir un sesgo direccional y ampliar el mbito de inuencia de las clulas en su entorno
i-1,j i,j-1

i,j i+1,j
i,j+1

i,j

i,j

Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Reglas de Evolucin

Conjunto de reglas de transicin entre estados para una clula dada Denen cmo debe cada celda cambiar de estado, segn del estado inmediatamente anterior de su vecindad:

sn+1 (i, j) = F (sn (i, j), B(sij , n))

F
usualmente es denida de forma explcita usando reglas arbitrarias

(lgicas, aritmticas, tablas de transicin, etc.)

Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Reloj Virtual de Cmputo

La evolucin del autmata celular se ejecuta como la discretizacin temporal

permite que las reglas de evolucin (cambios de estado) se evalen con cada pulso El reloj permite lanzar el evento pulso y, as determinar la dinmica del modelo La conexin de dicho reloj se implementa de forma paralela
s' s

Conexin en Paralelo

Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Modelado de los comportamientos de borde I

Frontera abierta. Se consideran clulas
virtuales existentes fuera de la malla, que mantienen un estado jo durante toda la evaluacin
Una frontera se dice fra si las clulas fuera de la frontera se consideran inactivas, y caliente si se asumen como activadas.

Autmata de dimensin 1: topologa de circunferencia.

Autmata de dimensin 2: topologa de toroide

Frontera peridica. El autmata celular se

modela para que las clulas vecinas de un extremo superior de la malla sean las clulas del extremo opuesto de la misma y viceversa, criterio que tambin se aplica a los bordes en todos los sentidos

Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Modelado de los comportamientos de borde II

Frontera reectora: Se aceptan
clulas virtuales de fuera de la malla que toman automticamente los mismos estados de aquellas en el interior a manera de reexin especular.

Frontera dinmica: contando con

un criterio de parada, se puede hacer crecer dinmicamente la frontera, evaluando ms clulas nuevas que se aaden al autmata para conservar la estimacin del estado de los vecinos a una clula dada.

Hugo Franco, PhD

Autmatas Celulares

Ejemplos y Aplicaciones

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Autmatas 1D y 3D

Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Ejemplos: simulacin de sistemas ecolgicos

Modelos de supervivencia por recursos, colaboracin y competencia basadas en reglas Las clulas representan regiones del dominio habitadas por diferentes especies, las que se modelan como estados

Hugo Franco, PhD

Autmatas Celulares

Mquinas de Estado Finito Autmatas Celulares Modelos de Autmatas Celulares Componentes de un Autmata Celular Ejemplos y aplicaciones

Aplicaciones: propagacin de frentes o variables

Propagacin de Epidemias (VIH)

Hugo Franco, PhD

Autmatas Celulares