¿QUE ES UN DFA?
COMPILADORES
TEORIA DE COMPUTACIÓN
Julio Rafael Contreras Diaz
AUTÓMATA FINITO DETERMINISTICO
Es una máquina que consta de un estado finito de estados.
Uno de esos estados debe ser la entrada de la maquina, y debe existir uno o varios estados finales o de aceptación
DEFINICIÓN FORMAL
-
Q: es un conjunto de estados;
-
q0 ∈ Q: es el estado inicial;
-
λ: Q x Z→ Q es una función de transición;
-
F ⊆ Q: es un conjunto de estados finales o de aceptación.
AFD: Con dos estados. El nodo de la izquierda es el inicial y el de aceptación
EXPRESIONES REGULARES
Es una manera de representar una máquina de estados.
Esta se considera mas descriptiva que los DFA, ya que representa de una manera mas legible para el humano el tipo de cadena aceptada por la máquina.
-
Unión: Si L y M son dos lenguajes, su unión se denota por L U M.
-
Concatenación: La concatenación es: LM o L.M.
-
Cerradura (o cerradura de Kleene): Si L es un lenguaje su cerradura se denota por L *.
OPERACIONES DE LOS LENGUAJES
Precedencia de los operadores:
1. ()
2. * cierre
3. . concatenación
4. + unión
Ejemplo: Algunos ejemplos de expresión regular son: (0 + 1)*01 (aa + ab + ba + bb)* a*(a + b) (aa)*(bb)*b
PROPIEDADES DE LAS EXPRESIONES REGULARES
Expresión Regular de Un Automata