DEFINICIN

Un autmata finito o mquina de estado finito es un modelo matemtico de un sistema que recibe una cadena constituida por smbolos de un alfabeto y determina si esa cadena pertenece al lenguaje que el autmata reconoce. stos se definen mediante una quntupla (E, Q, f, q0, F ) donde: E: alfabeto de entrada. Q: conjunto de estados; es conjunto finito no vaco. f: funcin de transicin. f(p,a)=q q0 : (perteneciente a Q) estado inicial. F : (perteneciente a Q) conjunto de estados finales o de aceptacin.
Publicado por Victor en 14:25 2 comentarios:

CLASIFICACIN
Deterministas

Los autmatas se pueden clasificar en:

Cada combinacin (estado, smbolo de entrada) produce un solo estado.

No Deterministas Cada combinacin (estado, smbolo de entrada) produce varios estados y adems son posibles las transiciones con .

Publicado por Victor en 14:24 No hay comentarios:

REPRESENTACIN

Los autmatas se pueden representar mediante tablas de transicin o diagramas de transicin. Tablas de transicin: Filas encabezadas por los estados( Q ) Columnas encabezadas por los smbolos de entrada ( E)

TABLA ->p *q q3 r

a q

q3 r r q3

Diagramas de transicin: Nodos etiquetados por los estados(Q) Arcos entre nodos etiquetados con ( E) Q0 se seala con -> El estado final se seala con * o con doble circulo

Ejemplo: Sea el AFD1 = ({a,b}, {p,q,r}, f, p, {q}) donde f est definida por: f(p,a) = q f(p,b) = r f(q,a) = q f(q,b) = r f(r,a) = r f(r,b) = r escribir su tabla de transicin y dibujar su diagrama de transicin. estados (Q): p, q, r estado inicial: p estado final: q smbolos: a,b AFD

AFND

Publicado por Victor en 13:56 1 comentario:

RECONOCEDOR DE LENGUAJE
AF como reconocedor

de

un

Lenguaje:

Cuando un AF transita desde q0 a un estado final en varios movimientos, se ha producido el RECONOCIMIENTO o ACEPTACIN de la cadena de entrada. Cuando un AF no es capaz de alcanzar un estado final, se dice que el AF NO RECONOCE la cadena de entrada y que sta NO PERTENECE al lenguaje reconocido por el AF. Ejemplo: A partir del autmata, comprobar si reconoce la palabra aabbaba.

Empezaramos en el estado P, al recibir una "a", pasaramos a Q, al recibir una "a" de nuevo, seguiramos en Q, despus al recibir una "b", pasaramos a R, y recibiendo otra "b", seguiramos en R. A continuacin recibiramos una "a", que nos llevara a R y as hasta el final. Por lo tanto al quedar despus de la palabra leda en el estado R, y dado que este no es un estado final como lo es Q, la palabra no se reconocera. En cambio la palabra aa si que se reconocera puesto que terminaramos en el estado final Q. Se trata por tanto de un autmata que reconoce lenguajes formados exclusivamente por una o varias a.
Publicado por Victor en 13:52 1 comentario:

AUTMATAS CONEXOS
Estados accesibles y Autmatas conexos Definicin: Sea un AFD = (E, Q, f, q0, F), el estado p es ACCESIBLE desde q si f(q, x) = p. En otro caso se dice que es INACCESIBLE. Resultado: Todo estado es accesible desde s mismo pues f(p, ) = p Por tanto, un autmata es conexo si todos los estados son accesibles desde el estado inicial. Para convertir un autmata no conexo en conexo hay que eliminar los estados no accesibles.Es importante destacar que un autmata conexo y su no conexo equivalente, reconocen el mismo lenguaje. CONEXO

NO CONEXO

Publicado por Victor en 13:50 No hay comentarios:

MINIMIZACIN

Si queremos calcular el autmata mnimo equivalente de cierto autmata, tenemos que obtener el conjunto cociente Q/E. Para ello, asignamos clases a los diferentes estados, siendo para la primera iteracin, C1( clase 1 ) para los estados finales y C2( clase 2 ) para el resto de estados. Q/E0={ C1(p, q, r) , C2(s, t, u, v)}

Posteriormente analizando la nueva tabla de transiciones, comprobamos si se ha creado alguna clase nueva, que denominaremos como C3. En este caso el estado s es distinto al resto de estados de la clase 2, por lo tanto se le asignar C3 a dicho estado, pasando a ser Q/E1 = {C1(p, q, r), C2( s), C3(t, u, v)}

Q/E1 a b a *p *q *r ->s t u v

p q C1 C1 r p C1 C1 r r C1 C1 t p C2 C1 t u C2 C2 t v C2 C2 v u C2 C2

A continuacin, hemos comprobado que no se ha creado ninguna clase extra, por lo tanto, el Q/E2 ser el mnimo equivalente. Para representar dicho autmata, consideraremos las clases como los estados y representaremos sus correspondientes transiciones.

Q/E2 a *p *q *r ->s t u v

C1 C1 C1 C1 C1 C1 C3 C1 C3 C3 C3 C3 C3 C3