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.

Q={q 0 , q 1 , q 2 }

∑ ¿{a , b , c }
q 0 ∈ Q={q 0 }

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

F ⊆ Q={q 2 }

Tabla de transición:

Salida Símbolo Llegada

q0 a q0
q0 a q1
q0 b q2
q1 b q0
q1 c q2
Procedimiento de q 0=aq 0+aq 1+bq 2
conversión de q 1=bq 0+cq 2
Autómata Finito a q 2=λ
Expresión Regular paso
a paso q 1=bq 0+c
q 0=aq 0+aq 1+b

q 0=aq 0+a( bq 0+c )+ b

q 0=aq 0+abq 0+ ac+ b
q 0=( a+ ab ) q 0+ ac+ b
¿
q 0=( a+ ab ) (ac +b)
¿
Autómata final ER= ( a+ab ) (ac +b)
convertido
Lenguaje regular L= {( a∨ab ) ( ac|b ) tal que m≥ 0 }
m

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.

Q={q 0 , q 1 , q 2 , q 3 }

∑ ¿{0,1}
 q 0 ∈ Q={q 0 }

δ ( q 0,0 )=q 3
δ ( q 0,1 )=q 1
δ ( q 0,1 )=q 2
δ ( q 1,1 )=q 2
δ ( q 1, λ )=q 0
δ ( q 2,0 )=q 0
δ ( q 3,1 )=q 2

F ⊆ Q={q 1 }

Tabla de transición:

Salida Símbolo Llegada

q0 0 q3
q0 1 q1
q0 1 q2
q1 1 q2
q1 λ q0
q2 0 q0
q3 1 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 1 se pasa al

estado definido como {q 1, q 0 ,q 2} teniendo en cuenta que q 1
cuenta con una transición vacía y para el símbolo 0 , q 0 pasa al
estado q 3

Estado AFD Estado AFND 1 0

A {q 0 } {q 1, q 0 ,q 2} {q3}

En el estado {q 1, q 0 ,q 2} tenemos que para el símbolo 1 se queda

en el mismo estado {q 1, q 0 ,q 2} y para el símbolo 0 pasa al estado
{q 3 , q 0 }

Estado AFD Estado AFND 1 0

A {q 0 } {q 1, q 0 ,q 2} {q3}
B {q 1, q 0 ,q 2} {q 1, q 0 ,q 2} {q 3 , q 0 }
 En el estado q 3 tenemos que para el símbolo 1 se pasa al estado q 2
y para el símbolo 0 no se encuentra ninguna transición

Estado AFD Estado AFND 1 0

A {q 0 } {q 1, q 0 ,q 2} {q3}
B {q 1, q 0 ,q 2} {q 1, q 0 ,q 2} {q 3 , q 0 }
C {q 3 } {q 2} −¿

En el estado q 2 tenemos que para el símbolo 0 se pasa al q 0 y para

el símbolo 1 no se encuentra ninguna transición

Estado AFD Estado AFND 1 0

A {q 0 } {q 1, q 0 ,q 2} {q3}
B {q 1, q 0 ,q 2} {q 1, q 0 ,q 2} {q 3 , q 0 }
C {q 3 } {q 2} −¿
D {q 2} −¿ {q 0 }

En el estado {q 3 , q 0 } tenemos que para el símbolo 1 se pasa al

{q 1, q 0 ,q 2} y para el símbolo 0 pasamos al estado q 3 y
finalizaríamos nuestra tabla de transición para nuestro AFD

Estado AFD Estado AFND 1 0

A {q 0 } {q 1, q 0 ,q 2} {q3}
B {q 1, q 0 ,q 2} {q 1, q 0 ,q 2} {q 3 , q 0 }
C {q 3 } {q 2} −¿
D {q 2} −¿ {q 0 }
E {q 3 , q 0 } {q 1, q 0 ,q 2} {q 3 }

Autómata final
convertido
Practicar y verificar lo
aprendido
Ejercicio a trabajar

Notación formal del Q={q 0 , q 1 , q 2 , q 3 , q 4 ,q 5 , q 6 , q 7 , q 8 , q 9 , q 10 }

autómata minimizado
∑ ¿{a , b }
q 0 ∈ Q={q 4 }

δ ( q 0 , a )=q 0
δ ( q 0 , b )=q 1
δ ( q 1, b )=q 2
δ ( q 2 ,b )=q 3
δ ( q 3 , a )=q 5
δ ( q 4 ,a )=q 0
δ ( q 4 ,b )=q 7
δ ( q 5 , a )=q 6
δ ( q 5 ,b )=q 7
δ ( q 6 , a )=q 6
δ ( q 6 , b )=q 8
δ ( q 7 , b )=q 9
δ ( q 8 , b )=q 10

F ⊆ Q={q 9 , q 10 }

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

autómata parte teórica 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
¿
ER=( a a b ( bb a a ) ) bb
¿ ¿
Lenguaje regular
Validación de cadenas
Practicar y verificar lo
aprendido El autómata al principio se posiciona en el estado inicial q 4

Cuando el autómata lee el símbolo a en el estado q 4 pasa al estado

q0

Al leer el símbolo a en el estado q 0 el autómata queda en el mismo

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

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

q2
Cuando el autómata lee el símbolo b en el estado q 2 pasa al estado
q3

Cuando el autómata lee el símbolo a en el estado q 3 pasa al estado

q5
Cuando el autómata lee el símbolo a en el estado q 5 pasa al estado
q6

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

q8
Cuando el autómata lee el símbolo b en el estado q 8 pasa al estado
q 10