Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Autómatas a pila
• {0n1n2n | n ≥ 1 }
Q Σ Γ Movimiento Soluciones:
q 0 Z0 (q, XZ0) • (q, 01, Z0) ├* (p, ε, Z0)
q 0 X (q, XX) ├* (p, ε, ε)
q 1 X (q, X)
•(q, 0011, Z0) ├* (p, ε, XZ0)
q ε X (p, ε) ├* (p, ε, XXZ0)
p ε X (p, ε)
•(q, 010, Z0) ├* (p, ε, XZ0)
p 1 X (p, XX)
p 1 Z0 (p, ε)
ε, A/ε
s
Λ Λ
2. Dado el AP P = ({q0, q1, q2, q3, f}, {a, b}, {Z0, A, B}, δ, q0, Z0,
{f}), donde δ se define en la siguiente tabla
1. mostrar la traza de ejecución que muestre que la cadena bab está
en L
2. mostrar la traza de ejecución que muestre que la cadena abb está
en L
δ(q0, a, Z0) = (q1, AAZ0) δ(q0, b, Z0) = (q2, BZ0) δ(q0, ε, Z0) = (f, ε)
δ(q1, a, A) = (q1, AAA) δ(q1, b, A) = (q1, ε) δ(q1, ε, Z0) = (q0, Z0)
δ(q2, a, B) = (q3, ε) δ(q2, b, B) = (q2, BB) δ(q2, ε, Z0) = (q0, Z0)
δ(q3, ε, B) = (q2, ε) δ(q3, ε, Z0) = (q1, AZ0)
Q Σ Γ Movimiento
q 0 Z0 (q, XZ0)
q 0 X (q, XX)
q 1 X (q, X)
q ε X (p, ε)
p ε X (p, ε)
p 1 X (p, XX)
p 1 Z0 (p, ε)
a) conseguir que en los cuerpos de longitud dos o más sólo aparezcan variables
vx ≠ ε<= n
1. |vwx|
2.
3. para todo i >= 0, uviwxiy está en L