¿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

1.  Q: es un conjunto de estados;

2.   Σ: es un alfabeto;

3.  q0 ∈ Q: es el estado inicial;

4.  λ: Q x Z→ Q es una función de transición;

5.  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

https://www.youtube.com/watch?v=mCHpn-msFnw

Expresión Regular de Un Automata

GRACIAS!