lenguaje

2. TEORIA DE LENGUAJES
DE PROGRAMACION
Autómatas finitos deterministas

3. This material has been prepared by Richard E. Aguilar P.
Contenido de la Sesión
• Autómatas finitos deterministas

5. This material has been prepared by Richard E. Aguilar P.
Logro
Al finalizar la sesión el alumno comprende y reconoce las los
conceptos fundamentales relacionados con los autómatas
finitos deterministas y su aplicación en la teoría de lenguajes.

7. This material has been prepared by Richard E. Aguilar P.
Autómatas finitos
• Los autómatas finitos o máquinas de estados finitos, son una manera
matemática para describir clases particulares de algoritmos
(“maquinas”).
• En particular, los autómatas finitos se pueden utilizar para describir el
proceso de reconocimiento de patrones en cadenas de entrada, y
de este modo se pueden utilizar para construir analizadores léxicos.
• Existe una fuerte relación entre los autómatas finitos y las expresiones
regulares.

8. This material has been prepared by Richard E. Aguilar P.
Autómata finito determinístico
Un autómata finito determinístico M = (S, Σ, f, S0, F) consiste en:
• Un alfabeto fuente Σ
• Un conjunto finito de estados S
• Una función de transición f: S x Σ -> S
• Un estado de inicio S0 ϵ S
• Un conjunto de estados de aceptación F с S

9. This material has been prepared by Richard E. Aguilar P.
Autómata finito determinístico
• Son aquellos autómatas en los que el estado siguiente está dado
unívocamente por el estado actual y el caracter de entrada actual.
inicio id
letra
letra
digito

10. This material has been prepared by Richard E. Aguilar P.
Autómata finito determinístico
• Son aquellos autómatas en los que el estado siguiente está dado
unívocamente por el estado actual y el caracter de entrada actual.
inicio id
letra
letra
digito
error
otro otro
cualquiera

12. This material has been prepared by Richard E. Aguilar P.
PREGUNTAS

14. This material has been prepared by Richard E. Aguilar P.
Resumiendo
• Los autómatas finitos se pueden utilizar para construir
analizadores léxicos, por su capacidad de reconocer
patrones en cadenas de entrada.