Autmatas Finitos

AUTOMATA FINITO DETERMINISTICO (AFD)

AUTOMATA FINITO NO DETERMINISTICOS
(AFND)
LISTIANY AGRAMONTE 15-0737
ROSVIANNIS BARREIRO 14-1138

Autmata finito (mquina de estado finito)

Los Autmatas Finitos son mquinas tericas que van
cambiando de estado dependiendo de la entrada que
reciban. La salida de estos Autmatas est limitada a
dos valores: aceptado y no aceptado, que pueden
indicar si la cadena que se ha recibido como entrada
es o no vlida.

Mlaga, E. J. (2008).Teorias de automatas y lenguajes formales. Cceres:

Universidad de Extremadura, Servicio de Publicaciones.

Definicin formal
Formalmente, un autmata finito es una 5-tupla (Q, ,
q0, , F) donde:

es un conjunto finito de estados;

es un alfabeto finito;

es el estado inicial;

es una funcin de transicin;

es un conjunto de estados finales o de

aceptacin.

Mlaga, E. J. (2008).Teorias de automatas y lenguajes formales. Cceres:

Universidad de Extremadura, Servicio de Publicaciones.

Autmata Finito Determinista

Un autmata finito determinista (abreviado AFD) es un
autmata finito que adems es un sistema
determinista; es decir, para cada estado en que se
encuentre el autmata, y con cualquier smbolo del
alfabeto ledo, existe siempre a lo ms una transicin
posible desde ese estado y con ese smbolo.

Mlaga, E. J. (2008).Teorias de automatas y lenguajes formales. Cceres:

Universidad de Extremadura, Servicio de Publicaciones.

En un AFD no pueden darse ninguno de

estos dos casos:
Que existan dos transiciones del tipo (q,a)=q1 y
(q,a)=q2, siendo q1 q2.
Que existan transiciones del tipo (q, ), donde es la
cadena vaca, salvo que q sea un estado final, sin
transiciones hacia otros estados.
Autmata finito determinista que reconoce el lenguaje
regular conformado exclusivamente por las cadenas
con un nmero par de ceros y un nmero par de unos.

Ejemplo de AFD con dos estados. El nodo

de la izquierda es inicial y de aceptacin.

Diagrama de Transicin
Representado a travs de un grafo. Un grafo G = (V,E)
consiste de un conjunto finito de vrtices (o nodos) V y
un conjunto finito de pares de vrtices (o aristas) E
llamados enlaces (los cuales son bidireccionales).

H. C. (2012, April 15). Teora de la Computacin para Ingeniera de

Sistemas: Un enfoque prctico. Retrieved February 08, 2016, from
http://webdelprofesor.ula.ve/ingenieria/hyelitza/materias/preteoria/apuntes/
tema1.pdf

Autmata Finito No Determinista

Son autmatas de estados finitos que tienen la
capacidad de estar en ms de un estado
simultneamente. No hay que considerar todos los
casos en cada estado, ya que permiten cero, una o
ms transiciones de salida de un estado para el
mismo smbolo del alfabeto de entrada.
0,
Por ejemplo:
1
0
1
Inici
o
H. C. (2012, April 15). Teora de la Computacin para Ingeniera de
Sistemas: Un enfoque prctico. Retrieved February 08, 2016, from
http://webdelprofesor.ula.ve/ingenieria/hyelitza/materias/preteoria/apuntes/
tema1.pdf

Equivalencia de Autmatas finitos

Decimos que dos autmatas que aceptan el mismo
lenguaje son equivalentes.
Definicin: Dos autmatas M1 y M2 son equivalentes,
M1 M2, cuando aceptan exactamente el mismo
lenguaje.

Brena, R. (2003).Automatas y Lenguajes. Mxico: Tecnolgico de

Monterrey.

Minimizacin de un AFD
Dos estados de un autmata finito determinista son
estados equivalentes si al unirse en un slo estado,
pueden reconocer el mismo lenguaje regular que si
estuviesen separados. Esta unin de estados implica
la unin tanto de sus transiciones de entrada como de
salida. Si dos estados no son equivalentes, se dice que
son estados distinguibles. Un estado final con un
estado no-final nunca sern equivalentes.
Un AFD est minimizado, si todos sus estados son
distinguibles y alcanzables.

Algoritmo de Minimizacin
1. Eliminar los estados inaccesibles del autmata.
2. Construir una tabla con todos los pares (p, q) de estados restantes.
3. Marcar en la tabla aquellas entradas donde un estado es final y el otro es nofinal, es decir, aquellos pares de estados que son claramente distinguibles.
4. Para cada par (p, q) y cada smbolo a del alfabeto, tal que r = (p,a) y s =
(q,a):
1.

Si (r, s) ya ha sido marcado, entonces p y q tambin son distinguibles, por lo tanto

marcar la entrada (p, q).

2.

De lo contrario, colocar (p, q) en una lista asociada a la entrada (r, s).

5. Agrupar los pares de estados no marcados.

. Luego del tercer paso, si la tabla creada queda completamente marcada,
entonces el AFD inicial ya era mnimo.

Algunos Ejemplos:
1
)

3
)

2
)

4
)

Resultados de los ejemplos

1
)

2
)

3
)

4
)

Ejercicios (Minimizacin)
1

3
q

5
2

Maquina de estado finito- Whatsapp

Fuente: https://www.youtube.com/watch?v=T-Pfcu8KubA

Referencias
D. B. (2012, October 12). AUTOMATAS FINITOS NO DETERMINISTICO. Retrieved
February 08, 2016, from https://prezi.com/loyzyqe81nzv/automatas-finitos-nodeterministico/
Autmata finito. (n.d.). Retrieved February 04, 2016, from
https://es.wikipedia.org/wiki/Autmata_finito
J. M. (2014, February 19). Definicin de los Autmatas Finitos NO
Deterministas (AFND). Retrieved February 04, 2016, from
https://www.youtube.com/watch?v=XRLyiA8EMPM
F. S. (2014, November 25). Maquina de estado finito- Whatsapp. Retrieved
February 04, 2016, from https://www.youtube.com/watch?v=T-Pfcu8KubA
Mlaga, E. J. (2008).Teorias de automatas y lenguajes formales. Cceres:
Universidad de Extremadura, Servicio de Publicaciones.
Brena, R. (2003).Automatas y Lenguajes. Mxico: Tecnolgico de Monterrey.