Ejercicio a trabajar

Caracterización del
autómata El autómata a trabajar es un Autómata Finito No Determinista
(AFND) debido a que para cada estado en que posee al menos un
estado q ∈ Q, tal que para un símbolo a ∈ Σ del alfabeto, existe
más de una transición δ (q , a) posible.
En donde se puede dar ninguno de los siguientes casos:
 Que existan dos transiciones del tipo δ (q , a)=q 1 y
δ (q , a)=q 2, siendo q 1 ≠ q 2;
 Que existan transiciones del tipo δ (q , ε), donde ε es la
cadena vacía, salvo que q sea un estado final, sin transiciones
hacia otros estados.

M =( { q 0 , q 1 ,q 2 } , { a , b } , δ ,q 0 , {q 2 } )
∑ ¿{a , b }
K= { q 0 , q 1 , q 2 }
q 0 ∈ Q={q 0 }
F ⊆ Q={q 2 }

δ ( q 0 , a )=q 2
δ ( q 0 , b )=q 1
δ ( q 1, a )=q 1
δ ( q 1, b )=q 1
δ ( q 1, b )=q 2
δ ( q 2 ,b )=q 2

Tabla de transición:

Salida Símbolo Llegada

q0 a q2
q0 b q1
q1 a q1
q1 b q0 
q1 b q2
q2 b q2
 Hernández, R. (2010). Practique la teoría de autómatas y lenguajes
formales. (pp. 1 -124)
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10566114&ppg=10

 Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). Teoría de

autómatas y lenguajes formales. (pp. 7-797).
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10498456&ppg=6

Procedimiento de Paso 1 no se puede dejar ninguna transición repetida o que vaya

conversión de hacia ella misma por ende hay que desdoblarlos.
Autómata Finito a
Expresión Regular paso  En este caso podemos ver que en un estado hay dos llegadas
a paso así que debemos realizar una nueva tabla para poder
transformar el autómata

PASO 2 Eliminamos a q1 desdoblado

PASO 3 Eliminamos a q2 desdoblado

 PASO 4 Eliminamos a q1

Autómata final
convertido

Lenguaje regular ER=2(b+ab)

Ejercicio a trabajar
Caracterización del El autómata a trabajar es un Autómata Finito No Determinista
autómata (AFND) debido a que para cada estado en que posee al menos un
estado q ∈ Q, tal que para un símbolo a ∈ Σ del alfabeto, existe
más de una transición δ (q , a) posible.
En donde se puede dar ninguno de los siguientes casos:
 Que existan dos transiciones del tipo δ (q , a)=q 1 y
δ (q , a)=q 2, siendo q 1 ≠ q 2;
 Que existan transiciones del tipo δ (q , ε), donde ε es la
cadena vacía, salvo que q sea un estado final, sin transiciones
hacia otros estados.

M =( { q 0 , q 1 ,q 2 } , { a , b } , δ ,q 0 , {q 2 } )
∑ ¿{a , b }
K= { q 0 , q 1 , q 2 }
q 0 ∈ Q={q 0 }
F ⊆ Q={q 2 }

δ ( q 0 , a )=q 2
δ ( q 0 , b )=q 1
δ ( q 1, a )=q 1
δ ( q 1, b )=q 1
δ ( q 1, b )=q 2
δ ( q 2 ,b )=q 2

Tabla de transición:

Estado Siguiente
Estado Actual
a b
q0 q2  q1
q1 q1  q1,q2
q2 -  q2

Procedimiento de
conversión paso a paso Establecemos una nueva tabla de transición en donde tendremos en
cuenta cada nuevo estado

En el estado inicial q 0 tenemos que para el símbolo a se pasa al

estado definido como { q 2 } en { a } y { q 1 } en { b } ,podemos observar que
en el estado{ q 1 } retoma en { a } en si mismo como
tambien en { b } pero cambia en { b } para {q 2 }, como en la transición
{ b } tenemos q1 y q2 los unimos para construir un nuevo estado el
cual evaluaremos como para a y b para así poder obtener la nueva
tabla con la que construiremos el nuevo autómata determinista.
 Estado Siguiente
Nueva Tabla de estado
a b
q0 q2  q1
q1 q1  q1, q2
q1, q2 q1 q2
q2 -  q2

Amarillo, A. M. (2017). Angela María Gonzalez Amarillo. Obtenido de

Angela María Gonzalez Amarillo:
https://www.youtube.com/watch?v=29Qp_AWXFt4&t=694s

PASO 1 no se puede dejar ninguna transición repetida o que vaya hacia ella
misma por ende hay que desdoblarlos.
PASO 2 Eliminamos a q1 desdoblado

PASO 3 Eliminamos el doble de q1q2.

PASO 4 Eliminamos el doble de q2.

Autómata final
convertido

Practicar y verificar lo
aprendido

Ejercicio a L = {W | W comienza por ba y termina en a sobre {a,b}

trabajar

Notación 5−Tupla {K , Σ, δ , s , F }
formal del K={q 0 , q 1 , q 2 }
autómata Σ={a , b }
minimizado s={q 0 }
F={q 3}
q 0 ∈ Q={q 0 }

δ ( q 0 , b )=q 1
δ ( q 1, a )=q 2
δ ( q 2 ,a )=q 2
δ ( q 2 ,b )=q 2
δ ( q 2 ,a )=q 3
δ ( q 3 , a )=q 3

Estado Siguiente
Estado Actual
a b
q0 -  q1
q1 q2  -
q2 q2,q3 q2
q3 q3  -
Caracterizació El autómata a trabajar es un Autómata Finito No Determinista (AFND) debido a
n del autómata que para cada estado en que posee al menos un estado q ∈ Q, tal que para
parte teórica un símbolo a ∈ Σ del alfabeto, existe más de una transición δ (q , a)
posible.

Formalmente un autómata finito es una 5-tupla (Q , ∑ , q 0 , δ , F) donde:

Q , es un conjunto finito de estados

∑ , es un alfabeto finito
q 0 ∈ Q, es el estado inicial
δ :Q × ∑ →Q , es una función de transición
F ⊆ Q , es un conjunto de estados finales o de aceptación

Lenguaje ER=({a }U {b }) •({a }U {b })∗•({b })∗¿

regular
Validación de
cadenas
Practicar y
verificar lo El autómata al principio se posiciona en el estado inicial q 0
aprendido

Cuando el autómata lee el símbolo b en el estado q 0 pasa al estado q 1

Al leer el símbolo a en el estado q 1 el autómata pasa al estado q2 con una

transición en b en donde también tiene una transición en a y b que retorna al
mismo q2
Cuando el autómata lee el símbolo a en el estado q 2 pasa al estado q 3

Cuando el autómata lee el símbolo a en el estado q 3 este finaliza retornando

en si mismo