AUTMATAS

Autmata Son mquinas tericas que van cambiando de estado dependiendo de la entrada que reciba. La salida de estos autmatas esta limitada a dos valores aceptado y no aceptado, que puede indicar que la cadena que se ha recibido como entrada es o no vlida.

Los autmatas son una representacin formal muy til, que permite modelar el comportamiento de diferentes dispositivos, mquinas, programas, etc. Maquinas expendedoras de refrescos. El comportamiento de un programa (software).

El comportamiento de semforos.

La idea general consiste en modelar un sistema que Recibe un conjunto de elementos de entrada (estmulos) Realiza algn proceso (cmputo) Se produce una salida

Representacin de autmatas : Los autmatas se pueden representar mediante: - Tabla de transiciones.

- Diagrama de Moore.

Tabla de transiciones. Se ponen tantas filas como estados, y tantas columnas como smbolos forman el alfabeto. Marcamos el estado inicial con una flecha de entrada y cada uno de los estados finales con un asterisco. En el cruce de la fila marcada con el estado q y la columna marcada con el smbolo a del alfabeto ponemos el estado (q,a)..

Diagrama de Moore.

Cada estado no final se representa con un crculo; cada estado final se representa con un doble crculo; se seala el estado inicial con una flecha entrando, sin etiqueta; por cada transicin (q,a)=t se dibuja una flecha dirigida del estado de partida q al de llegada llegada t etiquetada a.

AUTMATAS FINITOS DETERMINISTAS AFD

Es aquel que slo puede estar en un nico estado despus de leer cualquier secuencia de entradas. El trmino determinista hace referencia al hecho de que para cada entrada slo existe uno y slo un estado al que el autmata puede hacer la transicin a partir de su estado actual.

Un autmata finito determinista consta de:

A = (Q, , ,q0,F)
donde A es el nombre del AFD Q es su conjunto de estados son los smbolos de entrada es la funcin de transicin q0 es el estado inicial F es el conjunto de estados finales.

Ejemplo:

Q={q0,q1,q2} conjunto de estados ={0,1} son los smbolos de entrada q0={q0} es el estado inicial F ={q1} es el conjunto de estados finales. (q0,0)=q2, (q0,1)=q0 (q2,0)=q2 (q2,1)=q1 (q1,0)=q1 (q1,1)=q1

Aplicaciones de los autmatas

1. Software para disear y probar el comportamiento de circuitos digitales. 2. El analizador lxico de un compilador tpico, es decir, el componente del compilador que separa el texto de entrada en unidades lgicas, tal como identificadores, palabras clave y signos de puntuacin. 3. Software para explorar cuerpos de texto largos, como colecciones de pginas web, o para determinar el nmero de apariciones de palabras, frases u otros patrones. 4. Software para verificar sistemas de todo tipo que tengan un nmero finito de estados diferentes, tales como protocolos de comunicaciones o protocolos para el intercambio seguro de informacin.