Nombre: Alejandro Enríquez

Fecha: 13 – diciembre – 2020

Autómatas con pila no deterministas

1) Diseñar un AFPN que acepte el lenguaje {aibi : i >= 0}, sobre el alfabeto ∑ = {a, b}.

∑ = {a, b}

Γ = {z0, A, B}

Q = {q0, q1, q2}

F = {q2}

Función de transición

Δ (q0, λ, z0) = {(q2, z0)}

Δ (q0, a, z0) = {(q0, Az0)},

Δ (q0, a, A) = {(q0, AA)},

Δ (q0, b, A) = {(q1, λ)},

Δ (q1, b, A) = {(q1, λ)},

Δ (q1, λ, z0) = {(q2, z0)}

El no determinismo está en:

Δ (q0, λ, z0)

Δ (q0, a, z0)

2) Diseñar un AFPN que acepte el lenguaje de las cadenas sobre el alfabeto ∑= {a, b} con
igual número de aes que de bes.

∑ = {a, b}

Γ = {z0, A, B}

Q = {q0, q1}

F = {q1}
Función de transición

Δ (q0, a, z0) = {(q0, Az0)},

Δ (q0, b, z0) = {(q0, Bz0)},

Δ (q0, a, A) = {(q0, AA)},

Δ (q0, b, B) = {(q0, BB)},

Δ (q0, a, B) = {(q0, λ)},

Δ (q0, b, A) = {(q0, λ)},

Δ (q0, λ, z0) = {(q1, z0)}

El no determinismo está en:

Δ (q0, a, z0)

Δ (q0, b, z0)

Δ (q0, λ, z0)

3) Diseñar un AFPN que acepte el lenguaje L = {wwR : w ∈ ∑*}, donde ∑ = {a, b}.

∑ = {a, b}

Γ = {z0, A, B}

Q = {q0, q1, q2}

F = {q2}

Función de transición

Δ (q0, a, z0) = {(q0, Az0)},

Δ (q0, b, z0) = {(q0, Bz0)},

Δ (q0, λ, z0) = {(q2, Az0)},

Δ (q0, a, A) = {(q0, AA), (q1, λ)},

Δ (q0, a, B) = {(q0, AB)},

Δ (q0, b, A) = {(q0, BA)},

Δ (q0, b, B) = {(q0, BB), (q1, λ)},

Δ (q1, a, A) = {(q1, λ)},

Δ (q1, b, B) = {(q1, λ)},

Δ (q1, λ, z0) = {(q2, z0)}

En estas transiciones es se destacan:

Δ (q0, a, A) = {(q0, AA), (q1, λ)}

Δ (q0, b, B) = {(q0, BB), (q1, λ)}

4) Sea el autómata M=({q1,q2},{0,1,c},R,B,G},δ ,q1,R,∅ ) donde:

δ (q1,0,R)={(q1,BR)} δ (q1,1,R)={(q1,GR)}

δ (q1,0,B)={(q1,BB)} δ (q1,1,R)={(q1,GB)}

δ (q1,0,G)={(q1,BG)} δ (q1,1,R)={(q1,GG)}

δ (q1,c,R)={(q2,R)} δ (q1,c,R)={(q2,B)}

δ (q1,c,G)={(q2,G)} δ (q2,0,R)={(q2,ε )}

δ (q2,1,G)={(q2,ε )} δ (q2,ε ,R)={(q2,ε )}

La interpretación es que si el autómata está en el estado q1 y lee un 0 entones permanece en el

estado q1 y sustituye la R del tope de la pila por una BR (o lo que es lo mismo añade B en el tope).

5) Construya un APND que acepte el lenguaje L = {w ∈ {a, b}∗ : na(w) = nb(w)}

∑ = {a, b}

Γ = {z, a, b}

Q = {q0, q1}

F = {q1}

Δ (q0, a, 0) = {(q0, 00)},

Δ (q0, a, 1) = {(q0, λ)},

Δ (q0, a, z) = {(q0, 0z)},

Δ (q0, b, 0) = {(q0, λ)},

Δ (q0, b, 1) = {(q0, 11)},

Δ (q0, b, z) = {(q0, 1z)},

Δ (q0, λ, z) = {(qf , z)}

 6) Construya un APND que acepte el lenguaje: L = {wwR : w ∈ {a, b}+}

Q = {q0, q1, q2},

Σ = {a, b},

Γ = {a, b, z},

F = {q2}.

δ(q0, a, a) = {(q0, aa)}, δ(q0, b, a) = {(q0, ba)},

δ(q0, a, b) = {(q0, ab)}, δ(q0, b, b) = {(q0, bb)},

δ(q0, a, z) = {(q0, az)}, δ(q0, b, z) = {(q0, bz)}

7) Diseñar un autómata de pila no determinista que acepte:

L = ({0, 1}, {0, 1, #}, {q0, q1, q2}, δ, q0, #, Ø)

δ(q0, 0, ɤ) = {(q0, 0 ɤ)},

δ(q0, 1, ɤ) = {(q0, 1 ɤ)},

δ(q0, ɛ, ɤ) = {(q1, ɤ)},

δ(q1, 0, 0) = {(q1, ɛ)},

δ(q1, 1, 1) = {(q1, ɛ)},

δ(q1, ɛ, #) = {(q1, ɛ)}