Documentos de Académico
Documentos de Profesional
Documentos de Cultura
• Supongamos una cuerda de longitud mayor que m que pertenece a L reconocido por
este AF.
s xyz | xy | m y
xy k
z L , k 0
Lema del bombeo
Otra manera de enunciar el Lema del Bombeo, para todo LENGUAJE REGULAR
L existe un número n ϵ ℕ tal que:
Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoría de lenguajes, gramáticas y
autómatas para informáticos. Digitalia.
Ejemplo
• Mediante el lema del bombeo, demostremos que no es un lenguaje
regular.
L a b |n0
n n
Mediante el Lema del Bombeo
• Se procede por Reducción al Absurdo, es decir se supone inicialmente que L es
regular para obtener una contradicción.
• Sea entonces m, ese número cuya existencia está garantizada por el lema del
bombeo para el lenguaje L, supuestamente Regular.
• Considérese la cuerda:
m 1 m 1
sa b
Mediante el Lema del Bombeo
Evidentemente s = am+1bm+1 tiene una longitud mayor que m.
R2
R1 R3
w v x
R2
R1 R3
w v x
R1 R2*R3
w x
Algoritmo para obtener una ER a partir de un AF
Entrada Salida
• Un AF, A • Una ER, R
• Reconoce un • Reconoce
lenguaje, L(A) Algoritmo exactamente
L(A)
Algoritmo de AF a ER
a
4
a 1
b
0 b a
a
2 3
b
Ejemplo
Primero lo primero….
Ejemplo
Debemos “normalizar” el AF
a
4
a 1 b
0 b a
a
2 3
b
Ejemplo
a
4
a 1 b
0 b a
F
a
2 3
b
a
4
a 1 b
λ
0 b a
F
a λ
2 3
b
a
4
a 1 b
λ
I b a
F
a λ
2 3
b
a
4
a 1 b
λ
I b a
F
a λ
2 3
b
a
4
a 1 b
λ
I b a
F
ab λ
3
a
4
a 1 b
λ
I b a
F
ab λ
3
ab
a 1
λ
I b a
F
ab λ
3
ab
a 1
λ
I b a
F
ab 3
λ
Ejemplo
• Del estado inicial I al estado 3, vía el estado 1
• Del estado 3 hacía el mismo, vía el estado 1
• Del estado 3 al estado F, vía el estado 1
ab
a 1
λ
I b a
F
ab 3
λ
Ejemplo
ab
a 1
λ
I b a
F
ab 3
λ
Ejemplo
• Del estado inicial I al estado 3, vía el estado 1: a(ab)*b
• Del estado 3 hacía el mismo, vía el estado 1: a(ab)*b
• Del estado 3 al estado F, vía el estado 1: a(ab)*
ab
a 1
λ
I b a
F
ab 3
λ
Ejemplo
• Reetiquetamos las transiciones considerando las expresiones regulares
construidas anteriormente y aquellas transiciones directas que ya
existían.
Ejemplo
□
I F
∆
◊
3
θ
□ = a(ab)* + a(ab)*(ba)*(ab)*
∆ = ab + a(ab)*b
◊= λ + a(ab)*
θ = a(ab)*b
Ejemplo
□
I F
∆
◊
3
Z
I F
Z
I F
Z
I F
Z
I F
Z
I F