Este documento presenta una tabla para completar sobre el autómata de un ejemplo y nueve diagramas de transición de autómatas finitos deterministas (AFD) que acepten diferentes lenguajes regulares sobre diferentes alfabetos. Se pide completar la tabla y elaborar los nueve diagramas de transición de AFD solicitados.

1. Pontificia Universidad Católica del Ecuador
Sede Ibarra
Nombre: Bryan Chasiguano
Fecha: 15/10/2020
Taller
1) Complete la siguiente tabla, de acuerdo con el autómata del ejemplo
anterior
Palabra Llega a ¿Estado Final? ¿Aceptada?
bb q0 -> q4 -> q4 q4 SI
aba q0 -> q1 -> q2-> q2 q2 SI
aab q0 -> q1 -> q2-> q3 q3 NO
𝑎100
q0 -> q1 -> q2 q2 SI
𝑎3
b𝑎5
𝑏5 q0 -> q1 -> q2 -> q2->
q3 -> (q3)5
-> (q3)5
q3 NO

2. 2) Elabore diagramas de transición de AFD que acepten los siguientes
lenguajes
a) (aUb)* aa sobre {a,b}
a a
b
b) (ab)+
a sobre {a,b}
a b
b a
c) a*bba* sobre {a,b }
a a
b b a
d) (aba)* sobre {a,b}
a b
a
q1
q0
q2
q1
q0
q2
q1q0 q2
q0 q3q1 q2

3. e) {w|w tiene al menos dos aes} sobre {a,b}
b
a a
f) {w|w tiene a abc por subcadena} sobre {a,b,c}
b,c a,b,c
a b c
g) {w|w tiene un numero par de simbolos} sobre {a,b,c}
a,b,c a,b,c
a,b,c
h) {w|w no tiene ab por subcadena} sobre {a,b}
b a
b a
i) a* b*
a b
b
q0 q2
q1
q0 q3q1 q2
q0 q1 q2
q0 q1
q0 q2
q1