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.

Autmata
Modelos de programacin en lenguaje humano

Autmata
Consiste en un conjunto de estados Q y un conjunto de transiciones
de estado a estado que ocurre cuando un autmata se le alimenta de
smbolos de un alfabeto finito .
M=(Q, , , q0, F)

Autmata
M=(Q, , , q0, F)
Q= Conjunto finito de estados
= Alfabeto finito de entradas.
= Una funcin de transicin que asigna un nuevo estado a
cada pareja de la forma (estado,
smbolo)
q0=Es el estado inicial, q0 Q

: Q* Q

F= Subconjunto de estados designados como finales que aceptan, F

Q.

Alfabeto() :
Es un conjunto finito de smbolos, por ejemplo.
={0,1}
={a,b,c,d,..,z}
={conjunto de todos los caracteres}
Cadena (palabra):
Es una secuencia finita de smbolos pertenecientes a un alfabeto.
10101 Es una cadena del alfabeto binario
hola es una cadena del alfabeto.
Cadena vaca:
Es una cadena que contiene cero smbolos o no contiene smbolos

Longitud de una cadena:

En algunos caso es til clasificar las cadenas por su longitud, es decir es el numero de smbolos
que esta formada la cadena.
1000 tiene una longitud 5
Hola tiene una longitud 4.
Lenguaje
Es el conjunto de cadenas, todas ellas elegidas de algn o es un conjunto de cadenas.
Ejemplos:
El lenguaje formado por las cadenas compuestas por n ceros seguida de m
unos
{01, 001, 0011, 0001,}
El conjunto de todas las cadenas de ceros y unos con un nmero igual de nmeros de ambos
lados.

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:

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 estado.

Tabla de transiciones.
Es un arreglo o una matriz
proporcionan el resumen de
correspondiente.

bidimensional cuyos elementos

un diagrama de transiciones

Tabla de transiciones.
Se ponen tanta filas=estados, y tantas columnas=smbolos que
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 Transiciones o 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 p etiquetada a.

Ejemplo:
Considere un sistema formado por una lmpara y un
interruptor. La lmpara puede estar encendida o apagada. El
sistema slo puede recibir un estmulo exterior: pulsar el
interruptor. El funcionamiento es habitual: si se pulsa el
interruptor y estaba apagada la lmpara, se pasa al estado de
encendido, o si esta encendida, pasa a pagada. Se desea que
la bombilla este inicialmente apagada.
Considere que 0: encendido, 1: apagado y la nica entrada
posible (pulsar interruptor) es p

Ejemplo 1:
A partir de la tabla de transicin o estados. Dibujar el diagrama de
estados.
definida por la tabla de transicin

Ejemplo 2:
A partir de la tabla de transicin o estados. Dibujar el diagrama de
estados.
definida por la tabla de transicin

Ejemplo 3:

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 .