T5 AutomatasConPila

Universidad de Morón
Lenguajes Formales y Autómatas
AUTÓMATAS CON PILA
Los autómatas con pila, en forma similar a como se usan los autómatas finitos, también se pueden utilizar
para aceptar cadenas de un lenguaje definido sobre un alfabeto Σ.
Los autómatas con pila pueden aceptar los lenguajes libres de contexto que no pueden aceptar los
autómatas finitos.
Un autómata con pila cuenta con una cinta de entrada y un mecanismo de control que puede encontrarse
en uno de entre un número finito de estados. Uno de estos estados se designa como estado inicial, y
además algunos estados se llaman de aceptación o finales. A diferencia de los autómatas finitos, los
autómatas con pila cuentan con una memoria auxiliar llamada pila. Los símbolos (llamados símbolos de
pila) pueden ser insertados o extraídos de la pila, de acuerdo con el manejo last-in-first-out (LIFO).
Las transiciones entre los estados que ejecutan los autómatas de pila dependen de los símbolos de entrada
y de los símbolos de la pila. El autómata acepta una cadena x si la secuencia de transiciones, comenzando
en estado inicial y con la pila conteniendo un símbolo inicial de pila, conduce a un estado final, después
de leer toda la cadena x.
Representación gráfica
La representación gráfica en un AP es similar a la del Autómata Finito:
Estado inicial qo Estado Final q2
La función de transición de estados de un AP se representa mediante un diagrama donde los nodos

representan los estados y los arcos transiciones. Si existe transición tipo (1), el arco queda rotulado de la
siguiente manera:
a ,X / α
qi qj
Si el estado actual es qi y la cabeza lectora apunta a un símbolo a, y el tope de la pila es X, entonces

cambiar al nuevo estado qj, avanzar la cabeza lectora, y sustituir el símbolo del tope X en la pila por la
cadena α.
Por ejemplo:
Si α = ZYX deja X , apila Y, y apila Z (nuevo tope Z). donde X, Y, Z ∈ Γ
Si α =XX deja X y apila X (nuevo tope X).
Si α =X deja X como el mismo tope (no altera la pila)
Si α =λ elimina X, y el nuevo tope es el símbolo por debajo (desapila)
Si la función de transición de estados es del tipo:
λ ,X / α
qi qj
T5_AutómatasConPila 1
Significa que si el estado actual es qi, el tope de la pila es X, y sin importar a dónde está apuntando la
cabeza lectora, entonces cambiar al nuevo estado qj, y sustituir el símbolo del tope X en la pila por la
cadena α.
Ejemplo 1
A={a,b,c}
L1={ωcωR / ω ∈ {a,b}∗ }
APD1 es un autómata con pila que reconoce L1.
APD1=<{q0,q1,q2},{a,b,c},{X,Y, Z0}, δ, q0, Z0, {q2}>
δ: a, Z0 / XZ0
b, Z0 / YZ0 a, X / λ
a, X / XX b, Y / λ
b, Y / YY
a, Y / XY c, Z0 / Z0
b, X / YX c, X / X
qo c, Y / Y q1 λ , Z0 / Z0
q2
Ejemplos de cadenas aceptadas ó no aceptadas por AP1

δ∗(e0, abcba)=e2 abcba ∈ L1
∗
δ (e0, c)=e2 c∈ L1
δ∗(e0,abcab)=e1 abcab ∉ L1
∗
δ (e0,a)=e0 a ∉ L1
Autómata con pila reconocedor determinístico

APD=<Q, Σ , Γ, δ, q0, Z0, F>
Q: Conjunto finito de estados,
Σ: Alfabeto o conjunto finito de símbolos de la cinta de entrada,
Γ: Alfabeto o conjunto finito de símbolos de la Pila. Γ ∩ Σ= ∅
δ: función de transición de estados
q0: Estado inicial q0 ∈ Q.
Z0: Símbolo distinguido Z0 ∈ Γ
F: Conjunto de estados finales o estados de aceptación. F ⊆ Q.
La función de transición definida como: δ:Q x (Σ ∪{λ}) x Γ: → Q x Γ ∗

1) δ( qi , a, X) =( qj , α)
2) δ( qi , λ, X) =( qj , α) donde a ∈ Σ; X ∈ Γ; α ∈ Γ∗ ; qi , qj ∈ Q.
Nota: Si existe transición de tipo (2), sólo se garantiza que AP es determinístico si

∀ s ∈ Σ, δ( qi ,s, X) está indefinida.
Descripción instantánea
Una configuración de un AP es una tripla <q ,x ,γ> donde q: estado_actual; x: cadena de entrada a ser
leída; γ: contenido de la pila.
Luego, se define una relación de transición | en el espacio de posibles configuraciones del AP, tanto
si:
(1)
< qi , aω,Xβ > | < qj , ω, αβ > Si existe la transición tipo (1), el AP pasa al estado
qj, avanza la cabeza lectora y reemplaza el tope X por α.
(2)
< qi , aω, Xβ > | < qj , aω, αβ > Si existe la transición tipo (2), el AP pasa al estado
qj, NO avanza la cabeza lectora y reemplaza el tope X por α.
donde a∈Σ; ω∈Σ∗; X ∈ Γ; α,β ∈Γ∗; qi ,qj ∈ Q
Ejemplo 2
L2 = {ai b ck / i,k ≥ 1 y i<k}
APD2 =<{q0,q1,q2},{a,b,c},{A, Z0}, δ2 ,q0, Z0, {e2}>
a,Z0/AZ0
δ2: c,A/λ c,Z0/Z0
a,A/AA
b,A/A q1 c,Z0/Z0 q2
q0
Ejemplo 3
L3 = {ai b ck / i,k ≥ 1 y i ≤ k}
APD3 =<{e0,e1,e2},{a,b,c},{A, Z0}, δ3 ,e0, Z0, {e2}>
δ3: a,Z0/AZ0
c,A/λ c,Z0/Z0
a,A/AA
0 e
b,A/A e1 λ,Z0/Z0 e2
Ejemplo 4
L4 = {ai b ck / i, k ≥ 1 y i > k}
APD41 =<{e0,e1,e2,e3},{a,b,c},{A, Z0}, δ41 ,e0, Z0, {e3}>
δ41: a,Z0/AZ0
a,A/AA
λ,Α/A
e0 b,A/A e1 c,Α/λ e2 e3
c,A/ λ
δ42: a,Z0/AZ0
a,A/AA c,A/λ
a,Z0/ Z0 b,A/A e2 c,A/λ
e0 e1 e3
Ejemplo 5
L5 = {ai b ck / i, k ≥ 1 y i ≥ k}
δ5:
a,Z0/AZ0
a,A/AA c,A/ λ
e0 b,A/A e2 c,A/ λ e3
Ejemplo 6
L6={0i 1i+k 2k 3n+1/ i, k, n ≥ 0 }
APD6=<{eo,e1,e2, e3,e4},{0,1,2,3},{A,B, Z0}, δ6 ,e0, Z0, {e4}>
0,Z0
δ6: 1, A /λ 1,B/BB 3,Z0 /Z0
/AZ0 2, B /λ
eo 1,A /λ e1 1,Z0 /BZ0 e2 2, B /λ 3,Z0 /Z0

e3 e4
1,Z0 /BZ0
3,Z0 /Z0
3,Z0 /Z0
Ejemplo 7
L7 = {hn gj e2n d3i/ i, j, n ≥ 0}
Casos Cadenas de L7
si n, i, j >0 hn gj e2n d3i
si n=0 y i, j >0 gj d3i
si i=0 y n, j >0 hn gj e2n
si j=0 y n, i >0 hn e2n d3i
si n, i=0 y j >0 gj
si n, j=0 y i >0 d3i
si i, j =0 y n >0 hne2n
si n,i,j=0 λ
APD7 = <{eo,e1,e2,e3,e4,e5,e6,e7,e8,e9},{h,e,g,d},{H, Z0}, δ7 ,e0, Z0, {e0, e4, e8, e9 }>
δ7:
e5
e,H/H
λ,Z0/Z0
g,H/H e,H/H
h,H/HH
e,H/λ
eo h,Z0/HZ e1 g,H/H e2 e,H/H e3 e4
g,Z0 /Z0
g,Z0 /Z0
d,Z0 /Z0
e9 d,Z0 /Z0
e6
d,Z0 /Z0
d,Z0 /Z0
d,Z0 /Z0 e7
e8 d,Z0 /Z0
Autómata con pila no determinístico

APND= <Q, Σ , Γ , δ, e0, Z0, F> , donde las componentes E, A , Γ , e0, Z0, F se definen como antes, y la
función de transición se define como
δ: Q x (Σ ∪{λ}) x Γ→ Pf( Q x P*) Pf denota los subconjuntos finitos de Q x Γ*
1) δ( qi ,a, X) = {(qj , α1), (q k , α2), .... }
2) δ( qi , λ, X) = {(qj , α1), (q k , α2), .... } donde a∈ Σ, x ∈ Γ, α1, α2 ∈ Γ*, qi, qj, qk ∈ Q
Como ya se ha estudiado los autómatas finitos no determinísticos (AFND) reconocen los mismos
lenguajes que los autómatas finitos determinísticos (AFD). Sin embargo no ocurre lo mismo con
autómatas con pila no determinísticos (APND) y autómatas de pila determinísticos (APD). Algunos
lenguajes sólo pueden ser reconocidos por un APND, pero no por un APD.
Ejemplo 8
L8= {am bp cp+m / m,p ≥ 1} ∪ {a2i bi / i ≥ 1}
L8 sólo puede reconocerse con un APND.
APND8 =<{e0,e1,e2,e3,e4,e5, e6,e7,e8, e9},{a,b,c},{A,B, Z0}, δ8 ,e0, Z0, {e9}>
δ8:
a, A/AA b,B/BB c,B/λ c,A/λ
a, Z0 /AZ0 e1 b,A/BA e2 c,B/λ e3 c,A/λ e4

eo
b,A/λ
λ, Z0/ Z0
a, Z0 /AZ0 a,A/A
e6
e7 b,A/λ e8 λ, Z0/ e9
a,A/AA
APND8 es no determinístico ya que en el caso de: δ(e0 ,a, Z0) = {(e1 , AZ0), (e6 , A Z0)}
Tipos de Autómatas con Pila y Lenguajes aceptados

Existen dos tipos de Autómatas con Pila:
• Los que terminan por estado final: aceptarán todas aquellas hileras tales que para cuando se hayan
todos sus símbolos leído por completo, el autómata esté detenido en un estado final ,
independientemente de la situación en la que se encuentre la pila.
• Los que terminan por pila vacía: aceptarán todas aquellas hileras tales que para cuando se hayan
leído todos sus símbolos por completo, el autómata tiene su pila vacía, sin importar el estado en que
se encuentre.
Lenguaje aceptado por un AP que termina por estado final:

Una cadena ω ∈ Σ* es aceptada por AP=<Q, Σ , Γ, δ, q0, Z0, F>
si y solo si
< q0 ,ω, Z0 > | * < q f , λ, α > El AP comienza en el estado q0, con la pila
conteniendo el símbolo distinguido, luego de leer toda la
cadena ω, llega a un estado qf ∈ F, y en la pila puede quedar
cualquier cadena α ∈ Γ *.
El lenguaje aceptado por AP, es el conjunto de todas las cadenas que son aceptadas por AP:
L(AP)= { ω / < q0 ,ω, Z0> | * < q f , λ, α > y ω ∈ Σ* y q f ∈ F y α ∈ Γ*}
Lenguaje aceptado por un AP que termina por pila vacía:

Una cadena ω ∈ Σ* es aceptada por AP=<Q, Σ , Γ, δ, q0, Z0, {}>
si y solo si
< q0 ,ω, Z0 > | * < qj , λ,λ > El AP comienza en el estado q0, con la pila
conteniendo el símbolo distinguido, luego
de leer toda la cadena ω, llega a un estado qj ,
y vacía la pila.
El lenguaje aceptado por AP, es el conjunto de todas las cadenas que son aceptadas por AP:
L(AP)= { ω / < q0 ,ω, Z0 > | * < qj , λ,λ > y ω ∈ Σ* y qi , qj ∈ Q }
Los lenguajes aceptados por los Autómatas con Pila se denominan lenguajes libres del contexto.

T5 AutomatasConPila

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

T5 AutomatasConPila

Cargado por

Copyright:

Formatos disponibles

Universidad de Morón

Lenguajes Formales y Autómatas

AUTÓMATAS CON PILA

Estado inicial qo Estado Final q2

La función de transición de estados de un AP se representa mediante un diagrama donde los nodos

Si el estado actual es qi y la cabeza lectora apunta a un símbolo a, y el tope de la pila es X, entonces

Si la función de transición de estados es del tipo:

Ejemplos de cadenas aceptadas ó no aceptadas por AP1

Autómata con pila reconocedor determinístico

La función de transición definida como: δ:Q x (Σ ∪{λ}) x Γ: → Q x Γ ∗

Nota: Si existe transición de tipo (2), sólo se garantiza que AP es determinístico si

qj, avanza la cabeza lectora y reemplaza el tope X por α.

donde a∈Σ; ω∈Σ∗; X ∈ Γ; α,β ∈Γ∗; qi ,qj ∈ Q

APD42 =<{e0,e1,e2,e3},{a,b,c},{A, Z0}, δ42 ,e0, Z0, {e3}>

eo 1,A /λ e1 1,Z0 /BZ0 e2 2, B /λ 3,Z0 /Z0

APD7 = <{eo,e1,e2,e3,e4,e5,e6,e7,e8,e9},{h,e,g,d},{H, Z0}, δ7 ,e0, Z0, {e0, e4, e8, e9 }>

Autómata con pila no determinístico

2) δ( qi , λ, X) = {(qj , α1), (q k , α2), .... } donde a∈ Σ, x ∈ Γ, α1, α2 ∈ Γ*, qi, qj, qk ∈ Q

a, Z0 /AZ0 e1 b,A/BA e2 c,B/λ e3 c,A/λ e4

Tipos de Autómatas con Pila y Lenguajes aceptados

Lenguaje aceptado por un AP que termina por estado final:

L(AP)= { ω / < q0 ,ω, Z0> | * < q f , λ, α > y ω ∈ Σ* y q f ∈ F y α ∈ Γ*}

Lenguaje aceptado por un AP que termina por pila vacía:

L(AP)= { ω / < q0 ,ω, Z0 > | * < qj , λ,λ > y ω ∈ Σ* y qi , qj ∈ Q }

También podría gustarte