Este documento presenta conceptos básicos sobre autómatas finitos deterministas (AFD). Explica que un AFD es una representación formal útil para modelar el comportamiento de diferentes sistemas. Luego define términos clave como estado, transición y lenguaje reconocido por un AFD. También cubre temas como la minimización de AFD, la equivalencia entre AFD y lenguajes reconocidos. El documento concluye que para todo AFD se puede obtener un AFD equivalente y proporciona referencias bibliográficas.

1. Universidad De Oriente
Escuela De Ingeniería Y Ciencias Aplicadas
Departamento De Ingeniería De Sistemas
Sub-comisión De Trabajo De Grado
Curso Especial De Grado
Ciencias De La Computación
Maturín / Monagas / Venezuela
Facilitador:
Ing. Rodríguez Yeisland
Bachilleres:
Acosta Atahualpa C.I: 22.700.888
Carmona Ramón C.I: 19.257.685

2.  Introducción
 Definiciones elementales
 Autómata
 Autómata finito determinista
 Definición formal
 Minimización de (AFD)
 Lenguaje reconocido por un (AFD)
 Equivalencia de Autómatas finitos
 Equivalencia de (AFD)
 Ejemplo de (AFD)
 Conclusión
 Referencias bibliográficas
CONTENIDO

3. INTRODUCCIÓN
Los autómatas son una representación formal muy útil, que
permite modelar el comportamiento de diferentes dispositivos,
máquinas, programas, etc.
 Maquinas expendedoras de refrescos
 El comportamiento de un programa (software)
 El comportamiento de semáforos

4. Acosta Atahualpa
DEFINICIONES ELEMENTALES
LENGUAJE
CADENA
ALFABETO

5. AUTÓMATA
Acosta Atahualpa
ESTADO
CONTROL CAMBIO

6. Acosta Atahualpa
AUTÓMATA FINITO
DETERMINISTA
Tabla de transición
Diagramas de
estados

7. DEFINICIÓN FORMAL
Acosta Atahualpa
Autómata Finito Determinista

8. MINIMIZACIÓN DE UN (AFD)
Acosta Atahualpa
LENGUAJE REGULAR
ALGORITMO
ESTADOS

9. Carmona Ramón
LENGUAJE RECONOCIDO POR UN
(AFD)
Un lenguaje L es reconocido o aceptado por un AFD
A = (Q, S, d, q0, F) cuando una palabra cualquiera w es
reconocida por el autómata si y sólo si wÎ L:
L(A)={wϵ∑*|δ(qow)ϵF}
El lenguaje complementario al lenguaje aceptado por el
autómata se representa por LC(A)
Lc( A) = {wÎS*| d (q0, w) F}
Se dice que dos autómatas son equivalentes cuando ambos
reconocen o aceptan el mismo lenguaje L.

10. Carmona Ramón
EQUIVALENCIA DE AUTÓMATAS
FINITOS
LENGUAJE
IGUALDAD COMPARACIÓN

11. Carmona Ramón
EQUIVALENCIA DE (AFD)
Dos autómatas finitos
“determinista puros M1 y
M2 (“donde M se refiere a
la palabra Maquina”) son
equivalente si aceptan el
mismo lenguaje
Dos estados r1 y r2 son
compatibles si ambos son
finales o no

12. Carmona Ramón
EQUIVALENCIA DE (AFD) EJEMPLO
B
C
A
D
E
0 1
*A B C
*B B D
*C B E
*D B E
*E E E
TABLA DE
TRANSICIONES
1
1
1
0
0,1
1
0
0
1
DIAGRAMAS DE ESTADOS

13. Carmona Ramón
EQUIVALENCIA DE (AFD) EJEMPLO
0,1
A
B C
0
1
0
1
1. Conjunto
2. Estados de
aceptación
3.Estados de
no aceptación

14. CONCLUSIÓN
Se puede tener varios autómatas que reconozcan
el mismo lenguaje
Para todo autómata se puede obtener un autómata
equivalente

15. REFERENCIAS BIBLIOGRAFICAS
Hopcroft J.E.,MotwaniR.,UllmanJ.D.Teoría de Autómatas,Lenguajes y
comptuación.Tercera Edición. Pearson Addison Wesley.
KelleyD.AutomataandFormalLanguages.«AnIntroduction».Departmento
fMathematicsandComputerScienceGustavusAdolphusCollege.PrenticeHall
,EnglewoodCliffs,NewJersey.
Brena, R. (2003). Autómatas y Lenguajes. México: Tecnológico de
Monterrey.

16. GRACIAS POR
SU ATENCION