AUTMATAS DE PILA

Los autmatas de pila, en forma similar a como se usan los autmatas finitos,
tambin se pueden utilizar para aceptar cadenas de un lenguaje definido sobre un
alfabeto A.
Los autmatas de pila pueden aceptar lenguajes que no pueden aceptar los
autmatas finitos.
Un autmata de pila cuenta con una cinta de entrada y un mecanismo de
control que puede encontrarse en uno de entre un nmero finito de estados.
Uno de estos estados se designa como estado inicial, y adems algunos
estados se llaman de aceptacin o finales. A diferencia de los autmatas
finitos, los autmatas de pila cuentan con una memoria auiliar llamada pila.
Los s!mbolos "llamados s!mbolos de pila# pueden ser insertados o etra!dos de la
pila, de acuerdo con el manejo last$in$first$out "L%&'#.
Las transiciones entre los estados que ejecutan los autmatas de pila dependen de
los s!mbolos de entrada y de los s!mbolos de la pila. (l autmata acepta una
cadena si la secuencia de transiciones, comenzando en estado inicial y con pila
)ac!a, conduce a un estado final, despus de leer toda la cadena .
A utm a ta de pi l a r e c ono c e dor d e ter m in s ti c o
APD=<E, A , P, , e
0
, Z
0
, F>
E: Conjunto finito de estados,
A: Alfabeto o conjunto finito de smbolos de la cinta de entrada,
P: Alfabeto o conjunto finito de smbolos de la Pila PA=
: funcin de transicin de estados
e
0
: Estado inicial e
0
E
Z
0
: !mbolo distin"uido Z
0
P
F: Conjunto de estados finales o estados de aceptacin. F E
La funcin de transicin definida como: :E # $ A %&' # P E # P

(' ( e
i
, a, X' =$ e
j ,
)
2) ( e
i
, , X' =$ e
j ,
) donde a A; X P; P

; e
i
, e
j
E
*ota+ ,i eiste transicin de tipo "-#, slo se garantiza que A. es determin!stico si
s A, ( e
i
, s, X' est) indefinida
/ e s cr i p c in in s ta n t n e a
Una configuracin de un A. es una tripla <e , ,> donde e+ estado0actual* :
cadena de entrada a ser le!da* : contenido de la pila
Luego, se define una relacin de transicin | en el espacio de posibles
configuraciones del A., tanto si+
$('
< e
i
, a,X > | < e
j ,
, > !i e#iste la transici+n ti,o $(', el AP ,asa al estado
e
j
, avanza la cabe-a lectora . reem,la-a el to,e /
,or .
$0'
< e
i
, a, X > | < e
j ,
a, > !i e#iste la transici+n ti,o $0', el AP ,asa al estado
e
j
, NO avanza la cabe-a lectora . reem,la-a el to,e / ,or .
donde aA; A

; XP; , P

; e
i
,e
j
E
La funcin de transicin de estados de un A. puede ser representada por un
diagrama donde los nodos representan los estados y los arcos transiciones. ,i
eiste transicin tipo "1#, el arco queda rotulado de la siguiente manera+
a ,X /
e
i
e
j
,i el estado actual es e
i
y la cabeza lectora apunta un s!mbolo a, y el tope de la pila
es X, entonces cambiar al nue)o estado e
j,
a)anzar la cabeza lectora, y sustituir el
s!mbolo del tope / en la pila por la cadena .
Por ejem,lo:
!i = Z1/ deja / , a,ila 1, . a,ila Z $nue2o to,e Z' donde /, 1, Z P
!i =// deja / . a,ila / $nue2o to,e /'
!i =/ deja / como el mismo to,e $no altera la ,ila'
!i = elimina /, . el nue2o to,e es el smbolo ,or debajo $desa,ila'
Los autmatas de pila, en forma similar a como se usan los autmatas finitos, tambin
se pueden utilizar para aceptar cadenas de un lenguaje definido sobre un alfabeto A.
Los autmatas de pila pueden aceptar lenguajes que no pueden aceptar los autmatas
finitos. Un autmata de pila cuenta con una cinta de entrada y un mecanismo de
control que puede encontrarse en uno de entre un nmero finito de estados. Uno de
estos estados se designa como estado inicial, y adems algunos estados se llaman de
aceptacin o finales. A diferencia de los autmatas finitos, los autmatas de pila
cuentan con una memoria auiliar llamada pila. Los s!mbolos "llamados s!mbolos de
pila# pueden ser insertados o etra!dos de la pila, de acuerdo con el manejo last$in$
first$out "L%&'#. Las transiciones entre los estados que ejecutan los autmatas de pila
dependen de los s!mbolos de entrada y de los s!mbolos de la pila. (l autmata acepta
una cadena si la secuencia de transiciones, comenzando en estado inicial y con pila
)ac!a, conduce a un estado final, despus de leer toda la cadena .
Al igual que un autmata finito un autmata de pila cuenta con un flujo de entrada y un
flujo de control que puede encontrarse en uno de entre un nmero finito de estados.
Uno de estos estados se designa como el inicial y por lo menos un estado es de
aceptacin.
La principal diferencia es que los autmatas de pila cuentan con una pila en donde
pueden almacenar informacin para recuperarla ms tarde.
Los s!mbolos que pueden almacenarse en esta pila se conocen como s!mbolos de pila
de la mquina, constituyen un conjunto finito que puede incluir algunos s!mbolos
definiendo el alfabeto de la mquina y quiz algunos s!mbolos adicionales que se
utilizan como marcas internas. ,i una mquina inserta un s!mbolo especial en la pila
antes de efectuar algn otro clculo, entonces ese s!mbolo en la cima de la pila puede
usarse como indicador de pila )ac!a para clculos posteriores, dic2o s!mbolo es 3.
Autmata de pila determinista
*tese que, a diferencia de un autmata finito o una mquina de 4uring, la definicin
bsica de un autmata con pila es de naturaleza no determinista, pues la clase de los
autmatas con pila deterministas, a diferencia de lo que ocurr!a con aquellos modelos,
tiene una potencia descripti)a estrictamente menor. .ara calificar a un autmata con
pila como determinista deben darse dos circunstancias5 en primer lugar, por supuesto,
que en la definicin de cada componente de la funcin de transicin eistan un nico
elemento lo que da la naturaleza determinista.
.ero eso no es suficiente, pues adems puede darse la circunstancia de que el
autmata est en el estado y en la pila aparezca el s!mbolo , entonces, si eiste
una definicin de transicin posible para algn s!mbolo cualquiera del alfabeto de
entrada, pero, adems eiste otra alternati)a para la palabra )ac!a , tambin esto es
una forma de no determinismo, pues podemos optar entre leer un s!mbolo o no
2acerlo. .or eso, en autmata determinista no debe eistir transicin posible con
lectura de s!mbolo si puede 2acerse sin ella, ni al contrario.
.ara cada , se d que+ , para
cada
E j e m, l o
A=%a,b,c&
3
(
=%c
4
5 %a,b&

&
APD
(
es un aut+mata de ,ila 6ue reconoce 3(
APD
(
=<%e
0
,e
(
,e
0
&,%a,b,c&,%/,1, Z
0
&, , e
0
, Z
0
, %e
0
&>
:
a, Z
0
5 /Z
0
b,
Z
0
5 1Z
0
a, /
5 // b, 1 5
11 a, 1 5
/1 b, / 5
1/
e
o
c, Z
0
5 Z
0
c, / 5 /
c, 1 5 1
a, / 5
b, 1 5
e
(
, Z
0
5 Z
0
e
0
Ejem,los de cadenas ace,tadas + no ace,tadas ,or AP
(

(e
0
, abcba'=e
0
abcba 3
(

(e
0
, c'=e
0
c 3
(

(e
0
,abcab'=e
(
abcab
3
(

(e
0
,a'=e
0
a
3
(
E j e m, l o
3
7
= %a
i
b c
8
5 i,8 ( . i 8&
APD
7
=<%e
0
,e
(
,e
0
&,%a,b,c&,%A, Z
0
&,
7
,e
0
, Z
0
, %e
0
&>

7
:
a,Z
0
5AZ
0
c,A5 c,Z 5Z
a,A5AA
0 0
e
0
b,A5A
e
(
,Z
0
5Z
0 e
0
E j e m, l o
3
9
= %a
i
b c
8
5 i, 8 ( . i > 8&
APD
9(
=<%e
0
,e
(
,e
0
,e
7
&,%a,b,c&,%A, Z
0
&,
9(
,e
0
, Z
0
, %e
7
&>

9(:
a,Z
0
5AZ
0
a,A5AA
e
0
b,A5A
c,5 e
0
,5A
e
e
(
7
c,A5
APD
90
=<%e
0
,e
(
,e
0
,e
7
&,%a,b,c&,%A, Z
0
&,
90
,e
0
, Z
0
, %e
7
&>

90: a,Z
0
5AZ
0
a,A5AA
c,A5

c,A5
a,Z
0
5 Z
0
e
0
e
(
b,A5A
e
0
e
7
E j e m, l o
3
:
= %a
i
b c
8
5 i, 8 ( . i 8&
APD
:
=<%e
0
,e
(
,e
0
,e
7
&,%a,b,c&,%A, Z
0
&,
:
,e
0
, Z
0
, %e
7
&>

::
a,Z
0
5AZ
0
a,A5AA
c,A5
e
0
b,A5A
e
0
c,A5
e
7
;
E j e m, l o
3
;
= %a
m
b
,
c
,<m
5 m,, (& %a
0i
b
i
5 i (&
3
;
s+lo ,uede reconocerse con un AP=D
AP=D
;
=<%e
0
,e
(
,e
0,
e
7
,e
9
,e
:,
e
>
,e
?
,e
;,
e
@
&,%a,b,c&,%A,A, Z
0
&,
8
,e
0
, Z
0
, %e
@
&>

8
:
a, A5AA
b,A5AA
c,A5
c,A5
a, Z
0
5AZ
0
e
o
a, Z
0
5AZ
0
e
(
b,A5AA
e
0
a,A5A
c,A5
e
7
c,A5
b,A5
e
9
, Z
0
5 Z
0
e
>
e
?
b,A5
e , Z
0
5 Z
0 e
@
a,A5AA
AP=D
;
es no determinstico .a 6ue en el caso de:
(e
0
,a, Z
0
' = %$e
( ,
AZ
0
), $e
> ,
A Z
0
)}
E j e m, l o
3
@
= %a
m
b
,
c
,<m
5 m,, (& %a
i
b
0i
5 i (&
3
@
s+lo ,uede reconocerse con un AP=D
AP=D
@
=<%e
0
, e
(
, e
0,
e
7
, e
9
, e
:,
e
>
, e
?
&,%a,b,c&,%A,A, Z
0
&,
9
,e
0
, Z
0
, %e
?
&>

9
:
a, A5AA
b,A5AA
c,A5
c,A5
a, Z
0
5AZ
0
e
o
e
(
b,A5AA
e
0
b,A5A
c,A5
e
7
c,A5
e
9
b,A5
e
:
e
>
, Z
0
5 Z
0
e
?
, Z
0
5 Z
0
A ut+ma ta de ,il a t raduct or
Aut+mata de ,ila traductor AP
B
Cn AP
B
es sim,lemente un AP 6ue se define como una @Du,la
AP
B
= <E, A , P, , e
0
, Z
0
, F, , S>
donde E, A , P, , e
0
, Z
0
, F se definen como antes . se a"re"an dos com,onentes:
S: Alfabeto o conjunto finito de smbolos de salida
: funcin de traduccin definida como :E # $A %&' # P !
E
3a est) definida siem,re 6ue est) definida
En el dia"rama de transici+n de AP
B
,uede describirse como una e#tensi+n de la notaci+n usada
,ara AP !i e#iste (e
i
, a, X' =$ e
j ,
) . adem)s (e
i
, a, X' = t; lue"o el arco 6ueda rotulado de la
si"uiente manera:
a ,X / ,t
e
i
e
j
donde e
i
, e
j
E ; a A; X P; P

;t S

Fun c i +n de tra du cc i +n , a r a c a d e n a s
El aut+mata s+lo define la traducci+n, si el aut+mata AP sub.acente Face,taG la cadena Es decir la
traducci+n B$': A
E
S
E
asociada a AP
B
est) definida como
B$' es 2)lida < e
0
,, !
"
> | < e
f ,
, >
E j e m, l o
3
>
=%0
i
(
i<8
0
8
7
n<(
5 i, 8, n 0 &
Braducir las cadenas de 3
>
0
i
(
i<8
0
8
7
n<(
como a
i< 8
b
08
c
7n
APD
B>
=<%e
o
,e
(
,e
0
,e
7
,e
9
&,%0,(,0,7&,%A,A, Z
0
&,
6
,e
0
, Z
0
, %e
9
&,
6
, {a,b,c&>

6
.
6
:
0,Z
0
5AZ
0
,
0,A 5AA, (,A5,a
(,A5AA,a
0,A5,bb
7,Z
0 5
Z
0
,ccc
e
o (,A5,a
e
(
(,Z
0
5AZ
0
,a
e
0
0,A5,bb
e
7
7,Z
0
5Z
0
,
e
9
(,Z
0
5AZ
0
,a
7,Z
0
5Z
0
,
7,Z
0
5Z
0
,
E j e m, l o :
3
?
= %H
n
"
j
e
0n
d
7i
5 i, j, n 0&
Braducir las cadenas de 3
?
H
n
"
j
e
0n
d
7i
como (
0j
0
n
0
i
APD
B?
=<%e
o
,e
(
,e
0
,e
7
,e
9
,e
:
,e
>
,e
?
,e
;,
e
@
&,%H,e,",d&,%I, Z
0
&,
7
,e
0
, Z
0
, %e
0,
e
9
, e
;,
e
@
&,
7
, {0,(,0&>

7
.
7
:
e,I5I,
H,I5II,
",I5I,((
e
:
e,I5I,
,Z
0
5Z
0
,
e
o
H,Z
0
5IZ
0
,
e
(
",I5I,((
e
0
e,I5I, e
7
e,I5,0
e
9
",Z
0
5Z
0
,((
",Z
0
5Z
0,
((
e
@
d,Z
0
5Z
0
,
d,Z
0
5Z
0
,
d,Z
0
e
>
5Z
0
,
d,Z
0
5Z
0
,
d,Z
0
5Z
0
,
e
?
e
;
d,Z
0
5Z
0
, 0
3 e n " u a j e s a c e , t a dos ,or los A ut+m a ta de P ila
Cna cadena A
E
es ace,tada ,or AP=<E, A , P, , e
0
, Z
0
, F>
si . solo si
< e
0
,, !
0
> | < e
f ,
, > El AP, comien-a en el estado e
0
, con ,ila
2aca, lue"o de leer toda la cadena , lle"a a un estado
e
f
F, . en la ,ila 6ueda cual6uier cadena P

.
El len"uaje ace,tado ,or AP, es el conjunto de todas las cadenas 6ue son ace,tadas ,or AP:
3$AP'= % 5 < e
0
,, !
"
> | < e
f ,
, > . A

. e
f
F . P

}
3os len"uajes ace,tados ,or los Aut+matas de Pila se denominan len"uaje