Autmatas DE PILA

Ing. Miguel ngel Silva Zapata

 Definicin general
AUTOMATA CAPAZ DE RECONOCER LENGUAJES DE LIBRE CONTEXTO
O DE TIPO 2.
LA ACCION QUE SE LLEVA EN EL AUTOMATA NO SOLO ES
INFLUENCIADA POR EL ESTADO EN QUE SE ENCUENTRA, EL SIMBOLO
LEIDO SINO TAMBIEN POR EL ELEMENTO O SIMBOLO QUE SE
ENCUENTRA EN LA CIMA DE LA PILA.
SE PUEDEN REPRESETAR COMO UNA MAQUINA DE TURING, QUE
SOLO PUEDE LEER DE UNA CINTA Y QUE GUARDA LOS RESULTADOS
INTERMEDIOS EN UNA PILA.
SU CAPACIDAD DE PROCESAMIENTO ES LIMITADA, DEBIDO A LAS
SIGUIENTES RESTRICCIONES EN SUS OPERACIONES CON LA CINTA Y
LA PILA.
1.- LA CINTA SE DESPLAZA EN UN SOLO SENTIDO Y SU CABEZA SOLO PUEDE
LEER.
2.- LA PILA ESTA LIMITADA EN UN EXTREMO, CUANDO SE LEE UN ELEMENTO
DE LA PILA ESTE SE SACA Y CUANDO SE ESCRIBE EN LA PILA SE
INTRODUCE UN ELEMENTO.
 Operaciones elementales de un
automata DE PILA
Hay dos tipos:
a.- DEPENDIENTES DE LA ENTRADA.
Se lee ei , se desplaza la cinta y en funcin de ei, c (el estado
en que se encuentra la cinta) y Z (el valor de la pila), el control pasa a otro
estado q1 y en la pila se introduce Z, se extrae Z o no se hace nada.

b.- INDEPENDIENTES DE LA ENTRADA.

Puede ocurrir lo mismo que en el caso anterior solo que ei no
interviene, la cinta no se mueve, lo que permite manejar la fila sin consi_
derar entradas.
*) En cualquiera de los 2 casos el automata se para.
 Definicin formal de un automata DE
PILA
Se define como una sptupla: , donde:
- Q es el conjunto finito de estados.
- es el alfabeto de entrada, es finito.
- es el alfabeto de la pila.
- es la funcin de transicin, expresada asi:
: Q x { U {}} x Q x *
- q0 es el estado inicial y q0 Q.
- Z0 es el smbolo inicial que contiene la pila antes de comenzar, Z0 .
- F es el conjunto de estados finales, evidentemente F Q.
- De acuerdo a la funcin el AP, es un AFND.
- A la pila de este tipo de autmata tambin se le conoce como una
memoria auxiliar.
- =
 configuracin de un automata DE PILA
- Es la situacin en un instante que se puede expresar
formalmente mediante el terceto, (q, W, ), donde:
- q representa el estado actual del automata y q0 Q.
- W es la cadena de entrada que resta por analizar W *; si W=
se asume que toda la cadena ya ha sido leda.
- es el contenido de la pila, en el instante considerado, = ,
significa que la pila esta vaca y .
 Movimiento de un automata DE PILA
- Es una transicin entre dos configuraciones y se representa por
el operador binario por ejemplo tenemos el siguiente
movimiento

- El autmata se encuentra en el estado q, la cabeza de lectura se

encuentra sobre el smbolo a y la pila contiene smbolos representados
por la concatenacin de Z y , tal como se muestra en la siguiente fig.
 Movimiento de un automata DE PILA
- El autmata pasa de la configuracin (q,aW,z ) a la
configuracin (q,W, ), pasa a un estado q, la cabeza de
lectura avanza al siguiente smbolo y se procede a realizar
determinadas sustituciones en la cima de la pila, como se
muestra a continuacin.
Lenguaje que reconoce un automata
DE PILA
INTERPRETACION DE LA FUNCION DE
TRANSICION
REPRESENTACION GRAFICA DE UNA
TRANSICION
ejemplo
ejemplo