Pila (informática

)
De Wikipedia, la enciclopedia libre Saltar a: navegación, búsqueda Una pila (stack en inglés) es una lista ordinal o estructura de datos en la que el modo de acceso a sus elementos es de tipo LIFO (del inglés Last In First Out, último en entrar, primero en salir) que permite almacenar y recuperar datos. Esta estructura se aplica en multitud de ocasiones en el área de informática debido a su simplicidad y ordenación implícita de la propia estructura.

Para el manejo de los datos se cuenta con dos operaciones básicas: apilar (push), que coloca un objeto en la pila, y su operación inversa, retirar (o desapilar, pop), que retira el último elemento apilado. En cada momento sólo se tiene acceso a la parte superior de la pila, es decir, al último objeto apilado (denominado TOS, Top of Stack en inglés). La operación retirar permite la obtención de este elemento, que es retirado de la pila permitiendo el acceso al siguiente (apilado con anterioridad), que pasa a ser el nuevo TOS. Por analogía con objetos cotidianos, una operación apilar equivaldría a colocar un plato sobre una pila de platos, y una operación retirar a retirarlo. Las pilas suelen emplearse en los siguientes contextos:
  

Evaluación de expresiones en notación postfija (notación polaca inversa). Reconocedores sintácticos de lenguajes independientes del contexto Implementación de recursividad.

Historia
El método de pila para la evaluación de expresiones fue propuesto en 1955 y dos años después patentado por Fiedrich L.Bauer, quién recibió en 1988 el premio "IEEE Computer Society Pioneer Award" por su trabajo en el desarrollo de dicha estructura de datos.

(push) Desapilar: se elimina el elemento frontal de la pila. todas las demás placas permanecen ocultas. Java contiene una biblioteca de la clase Pila que es una especialización de Vector. a las que en las implementaciones modernas de las pilas se suelen añadir más de uso habitual. Cada vez que una nueva subrutina es llamada.[editar] Pila de llamadas La Pila de llamadas es un segmento de memoria que utiliza esta estructura de datos para almacenar información sobre las llamadas a subrutinas actualmente en ejecución en un programa en proceso. [editar] Operaciones Una pila cuenta con 2 operaciones imprescindibles: apilar y desapilar. Dos principios importantes son ilustrados por esta metáfora: En primer lugar la última salida es un principio. la pila es un contenedor de nodos y tiene dos operaciones básicas: push (o apilar) y pop (o desapilar). [editar] Pila como tipo abstracto de datos A modo de resumen tipo de datos. En esa serie. se almacena aquí el punto de retorno al que regresar cuando esta subrutina termine (para volver a la subrutina anterior y continuar su ejecución después de esta llamada). porque el diseño heredado get () de Vector método LIFO ignora la limitación de la Pila. A medida que la placa superior se elimina de la pila. Una metáfora que se utiliza con frecuencia es la idea de una pila de platos en una cafetería con muelle de pila. Esto podría ser considerado como un defecto.      Crear: se crea la pila vacía. sólo la primera placa es visible y accesible para el usuario. la segunda es que el contenido de la pila está oculto. Sólo la placa de la parte superior es visible. [editar] Implementación Un requisito típico de almacenamiento de una pila de n elementos es O(n). . el primer y segundo platos tendrán que ser retirados. cada nueva placa se convierte en la parte superior de la pila. por lo que para ver lo que hay en la tercera placa. (top o peek) Vacía: devuelve cierto si la pila está vacía o falso en caso contrario. la segunda placa se convierte en la parte superior de la pila. Apilar: se añade un elemento a la pila. Como se añaden las nuevas placas. dejando por debajo el resto de los nodos. empujando a la pila de placas.. 'Pop' elimina y devuelve el actual nodo superior de la pila. 'Push' añade un nodo a la parte superior de la pila. escondidos debajo de cada plato. La biblioteca de plantillas de C++ estándar proporciona una "pila" clase templated que se limita a sólo apilar/desapilar operaciones.(pop) Cima: devuelve el elemento que esta en la cima de la pila. El requisito típico de tiempo de O(1) las operaciones también son fáciles de satisfacer con un array o con listas enlazadas simples. se apila una nueva entrada con información sobre ésta tal como sus variables locales. En especial.

fmod PILA-GENERICA {X :: TRIV} is sorts Pila{X} PilaNV{X}. self.stack_pointer. ***constructores op desapilar : Pila{X} -> Pila{X}. element=None.element self. El elemento X representa el tipo de valor que puede contener la pila: entero.next = next if __name__ == '__main__': # small use example s = Stack() [s. que diferenciamos de la pila normal a la hora de tomar en cuenta errores. carácter. . subsorts PilaNV{X} < Pila{X}. EN PYTHON class Stack(object): def __init__(self): self.stack_pointer = None def push(self. ***generadores: op crear: -> Pila {X} [ctor].stack_pointer) def pop(self): e = self.push(i) for i in xrange(10)] print [s. op apilar : X$Elt Pila{X} -> PilaNV{X} [ctor]..element = element self.Estos son ejemplos sencillos de una pila con las operaciones descritas anteriormente (pero no hay comprobación de errores).pop() for i in xrange(len(s))] EN MAUDE La PilaNV es la pila no vacía. next=None): self.stack_pointer.stack_pointer = self..element def __len__(self): i = 0 sp = self. element): self.next return i class Node(object): def __init__(self.stack_pointer..stack_pointer = Node(element. registro.next return e def peek(self): return self.stack_pointer while sp: i += 1 sp = sp.

h> . eq cima(apilar(E.Add(value) p_index += 1 End Sub Public Function pop() As Object Dim obj As Object = list. eq desapilar(apilar(E. var E : X$Elt.Clear() p_index = -1 End Sub Public Function peek() As Object Return list.***selectores op cima : PilaNV{X} -> X$Elt.RemoveAt(p_index) p_index -= 1 Return obj End Function Public Sub clear() list.Item(p_index) list. P)) = E. endfm visual basic Public Class Stack Private p_index As Integer Private list As New ArrayList Public Sub New() p_index = -1 End Sub ReadOnly Property count Get Return list. P)) = P.Count End Get End Property Public Sub push(ByVal value As Object) list. ***variables var P : Pila{X}. ***ecuaciones eq desapilar (crear) = crear.Item(p_index) End Function End Class Pilas con punteros en C++ #include<stdio.

printf("\nMENU-PILA"). scanf("%d".dato). int item[TAM].#define TAM 6 #define MAX TAM-1 typedef struct { int tope. void main() { pila p..tope=0.opc. } else { printf("\nERROR: Pila llena"). do { clrscr().&opc). printf("\n3-> Eliminar elemento X"). }pila. case 3: . int dato. printf("\n1-> Insertar elemento").&dato). case 2: if(!empty(&p)) { pop(&p. p. printf("\n\nDe su opci¢n : ").int *). int empty(pila *). printf("\n5-> Salir").&dato). scanf("%d".t.flag=0. void pop(pila *. switch(opc) { case 1: if(!full(&p)) // si pila no esta llena { printf("\nDe el elemento a insertar: "). } else { printf("\nERROR: Pila vac¡a"). } break. int full(pila *).dato). printf("\nEl elemento eliminado es %d". printf("\nElemento insertado.. } break. void push(pila *. printf("\n2-> Eliminar elemento"). push(&p. int).elemento."). printf("\n4-> Visualizar").

if(!empty(&p)) { printf("eliminar elemento seleccionado: "). } else { printf("\nERROR: Pila vac¡a"). do { pop(&t. if (dato != elemento) { push(&t. printf("\n%d". if(p.dato). }while(!empty(&p)).&dato).} } else { printf("\nERROR: Pila vac¡a").dato). break. }while(!empty(&t)). .&elemento). push(&p.&dato).&dato).dato). }while(!empty(&t)). do { pop(&t. case 5: flag=1.dato). } else if(dato == elemento){pop(&p.tope != 1){ t.&dato). } break.tope=0. push(&t.dato). do { pop(&p. do { pop(&p. break. case 4: if(!empty(&p)) { t.&dato).} else {printf("el elemento no se encuentra en la pila"). scanf("%d". case 6: flag=0. push(&p. } break. } }while(!empty(&p)).tope=0.

DFS) por una búsqueda en amplitud (en inglés. Una pila acotada es una pila limitada a un tamaño máximo impuesto en su especificación..int *dato) { if(!empty(p)) { *dato=p->item[p->tope]. } void push(pila *p. getch(). p->item[p->tope]=dato. } if(!flag) { printf("\n\nPresione una tecla para continuar. } else printf("\nOVERFLOW").int dato) { if(!full(p)) { (p->tope)++. BFS). . } //elemento[1]=dato Estructuras de datos relacionadas El tipo base de la estructura FIFO (el primero en entrar es el primero en salir)es la cola. y la combinación de las operaciones de la pila y la cola es proporcionado por el deque.default: printf("\nOpci¢n no v lida. } void pop(pila *p. } int full(pila *p) { return(p->tope==MAX).. } else printf("\nUNDERFLOW"). Por ejemplo. (p->tope)--. } int empty(pila *p) { return(p->tope==0). el cambio de una pila en una cola en un algoritmo de búsqueda puede cambiar el algoritmo de búsqueda en primera profundidad (en inglés. } }while(!flag).").")...

Cada pila tiene un lugar fijo en la memoria en la que comienza. de izquierda a derecha. etc. cuando la pila tiene un tamaño de cero. en cuyo caso. La pila es visualizada ya sea creciente de abajo hacia arriba (como pilas del mundo real). y el puntero de pila se ajusta por el tamaño de los datos de partida.) Si un desapilar operación en la pila hace que el puntero de pila se deje atrás el origen de la pila. 1002. Esto significa que rotar a la derecha es mover el primer elemento a la tercera . o creciente. y la dirección en el puntero de pila se ajusta por el tamaño de los datos de partida. el puntero de pila nunca debe ser incrementado más allá de 1000 (para 1001. y así sucesivamente). 998. Esta visualización puede ser independiente de la estructura real de la pila en la memoria. Si una operación de apilar hace que el puntero de pila incremente o decremente más allá del máximo de la pila. Por ejemplo. por lo que el máximo elemento se convierte en el máximo a "la derecha". y ampliar por debajo de las direcciones. Una operación desapilar: un elemento de datos en la ubicación actual apuntado por el puntero de pila es eliminado. En otras palabras. los nuevos datos se almacenan en lugares que van por debajo de 1000. Como los datos se añadirán a la pila. apunta a la más reciente localización en la pila. Un puntero de pila. el puntero de pila de puntos en el origen de la pila. y el puntero de pila se decrementa cada vez que un nuevo elemento se agrega. si el origen de la pila está en la dirección 1000 y la pila crece hacia abajo (hacia las direcciones 999. dependiendo de la aplicación concreta). sin embargo el puntero de pila no puede cruzar el origen de la pila. Al principio. en el que un elemento de datos se coloca en el lugar apuntado por el puntero de pila. una pila se produce desbordamiento. ya sea por encima o por debajo del origen (dependiendo de la dirección en que crece la pila). en una pila se produce desbordamiento. Las dos operaciones aplicables a todas las pilas son:   Una operación apilar. [editar] Arquitectura básica de una pila Una pila típica es un área de la memoria de los computadores con un origen fijo y un tamaño variable. una pila puede comenzar en una posición de la memoria de mil. el puntero de pila se incrementa. que se expande lejos del origen (ya sea hacia arriba o hacia abajo. Cuando un tema es eliminado de la pila. con el máximo elemento de la pila en una posición fija. Los punteros de pila pueden apuntar al origen de una pila o de un número limitado de direcciones. por lo general en forma de un registro de hardware. el tamaño de la pila es cero. el puntero de pila es desplazado para indicar el estado actual de la pila. Hay muchas variaciones en el principio básico de las operaciones de pila. o.[editar] Pilas Hardware Un uso muy común de las pilas a nivel de arquitectura hardware es la asignación de memoria.

tienen instrucciones especiales que implícitamente el uso de un registro dedicado a la tarea de ser un puntero de pila. en función de la dirección en que crece la pila en la memoria).se ajusta el puntero de pila por el tamaño de elementos (ya sea decrementar o incrementar. que apunta a la próxima celda. en el orden opuesto de la utilizada en la operación de apilar. si el puntero que apunta a la próxima ubicación disponible en la pila. El primer elemento de la pila es eliminado y el puntero de pila se actualiza. Desapilando es simplemente la inversa de apilar. Aquí hay dos equivalentes visualizaciones de este proceso: Manzana Plátano Fresa ==rotar a la derecha==> Plátano Fresa Manzana Fresa Plátano Manzana ==rotar a la izquierda==> Manzana Fresa Plátano Una pila es normalmente representada en los ordenadores por un bloque de celdas de memoria. el puntero de pila se actualizará antes de que un nuevo elemento se apile. Algunos microcontroladores. con los "de abajo" en una ubicación fija. Otros. o tal vez apunte al máximo elemento de la pila. Algunos. Apilando un elemento en la pila. tienen un fondo fijo de pila que no es directamente accesible. la segunda a la primera y la tercera a la segunda. [editar] Soporte de Hardware Muchas CPUs tienen registros que se pueden utilizar como punteros de pila. En la parte superior e inferior se utiliza la terminología con independencia de que la pila crece realmente a la baja de direcciones de memoria o direcciones de memoria hacia mayores. Si la pila apunta al máximo elemento de la pila. por ejemplo algunos PICs. como el DEC PDP-11 y de la familia 68000 de Motorola tienen que hacer frente a los modos de hacer posible la utilización de toda una serie de registros como un puntero de pila.posición. y copia el nuevo elemento de la cima en área de la pila. el puntero de pila puede señalar a la siguiente ubicación no utilizado en la pila. como el Intel x86. La serie Intel 80x87 numérico de coprocessors tiene un conjunto de registros que se puede acceder ya sea como una pila o como una serie de registros numerados. al final de una operación de apilar. También hay una serie de microprocesadores que aplicar una pila directamente en el hardware: . que se actualizará después de que el máximo elemento se apile en la pila. y el puntero de pila de la dirección actual de la "cima" de células de la pila. Dependiendo de nuevo sobre la aplicación exacta.

2 3 3. Antes de traducir el código de bajo nivel. bloques de programa. ya que las funciones apilar y desapilar están disponibles para cualquier lista. infijo. postfijo. Muchos compiladores utilizan una pila para analizar la sintaxis de las expresiones. [editar] Expresión de evaluación y análisis sintáctico Se calcula empleando la notación polaca inversa utilizando una estructura de pila para los posibles valores. El uso de las pilas está muy presente en el desarrollo de software por ello la importancia de las pilas como tipo abstracto de datos. 4 12 12. Esas máquinas fueron llamados pila de máquinas. ya sea usando vectores o listas enlazadas. De la siguiente manera (la Pila se muestra después de que la operación se haya llevado a cabo): ENTRADA 1 2 + 4 * 3 OPERACION Apilar operando Apilar operando Añadir Apilar operando Multiplicar Apilar operando PILA 1 1. En LISP no hay necesidad de aplicar la pila. Apilar el resultado. La mayoría de los lenguajes de programación son de contexto libre de los idiomas que les permite ser analizados con máquinas basadas en la pila. Adobe PostScript también está diseñada en torno a una pila que se encuentra directamente visible y manipuladas por el programador. una pila puede ser implementada de manera eficiente. etc. 3 . puede ser anotado como en notación postfija con la ventaja de no prevalecer las normas y los paréntesis necesario: 12+4*3+ La expresión es evaluada de izquierda a derecha utilizando una pila:    Apilar cuando se enfrentan a un operando y Desafilar dos operandos y evaluar el valor cuando se enfrentan a una operación. Por ejemplo. Las expresiones pueden ser representadas en prefijo. el cálculo: ((1 + 2) * 4) + 3.   Computer vaqueros MuP21 Harris RTX línea Novix NC4016 Muchas pilas basadas en los microprocesadores se utilizan para aplicar el lenguaje de programación Forth en el nivel de microcódigo. Pila también se utilizaron como base de una serie de mainframes y miniordenadores. La conversión de una forma de la expresión a otra forma necesita de una pila. el más famoso es el Burroughs B5000 [editar] Soporte de Software En programas de aplicación escrito en un lenguaje de alto nivel.

pero no explorados aún. una para pasar argumentos y una subrutina de direcciones de retorno. lo que significa que la mayoría definen operaciones básicas (añadir dos números. y también tiene un montón de gráficos estado y un diccionario de pila. a fin de evitar la introducción de graves errores de seguridad en un programa. y realizando de nuevo los valores de retorno en la pila. [editar] Tiempo de ejecución de la gestión de memoria Artículo principal: Pila basada en la asignación de memoria y Pila máquina. El espacio para los datos locales se asigna a los temas de la pila cuando el procedimiento se introduce. de los que un programador debe ser consciente. y son borradas cuando el procedimiento termina. Por ejemplo. y no es manipulada directamente por el programador. Una serie de lenguajes de programación están orientadas a la pila.son branch and bound y soluciones heurísticas. se encuentra en la parte superior de la pila al final del cálculo. El lenguaje de programación C es generalmente aplicado de esta manera. Casi todos los entornos de computación de tiempo de ejecución de memoria utilizan una pila especial PILA para tener información sobre la llamada de un procedimiento o función y de la anidación con el fin de cambiar al contexto de la llamada a restaurar cuando la llamada termina. Algunos lenguajes de programación utilizar la pila para almacenar datos que son locales a un procedimiento. Ellos siguen un protocolo de tiempo de ejecución entre el que llama y el llamado para guardar los argumentos y el valor de retorno en la pila. La única alternativa al uso de una pila es utilizar la recursividad y dejar que el compilador sea recursivo (pero en este caso el compilador todavía está utilizando una pila interna). El uso de pilas es frecuente en muchos problemas. Este tipo de pila se utiliza implícitamente por el compilador para apoyar CALL y RETURN estados (o sus equivalentes). Muchas máquinas virtuales también están orientadas hacia la pila. Ejemplos de búsqueda óptima a explorar métodos. Pila es una forma importante de apoyar llamadas anidadas o a funciones recursivas. Forth utiliza dos pilas. Utilizando la misma pila de los datos y llamadas de procedimiento tiene importantes consecuencias para la seguridad (ver más abajo). la impresión de un carácter) cogiendo sus argumentos de la pila. 15. pero el uso poco habitual de un argumento para una pila legible para humanos es el lenguaje de programación Forth razón que se denomina una pila basada en el idioma. Todos estos algoritmos utilizan pilas para recordar la búsqueda de nodos que se han observado. Ejemplos de búsqueda exhaustiva métodos son fuerza bruta y backtraking. que van desde almacenar la profundidad de los árboles hasta resolver crucigramas o jugar al ajedrez . es independientemente de si el enfoque es exhaustivo u óptimo. necesita espacio en la pila. El uso de una pila de retorno es muy común. incluida la p-código máquina y la máquina virtual Java. PostScript tiene una pila de retorno y un operando de pila. [editar] Solucionar problemas de búsqueda La búsqueda de la solución de un problema.+ Añadir 15 El resultado final.

por ordenador. algunos lenguajes de programación usan una misma pila para almacenar los datos para un procedimientos y el link que permite retornar a su invocador. Por ejemplo. supongamos que al introducir datos en la pila lo hacemos en una posición errónea de manera que introducimos una datos de mayor tamaño al soportado por la pila corrompiendo así las llamadas a procedimientos provocariamos un fallo en nuestro programa. Ésto significa que el programa introduce y extrae los datos de la misma pila en la que se encuentra información crítica con las direcciones de retorno de las llamadas a procedimiento. y es al menos una técnica útil si no lo evitamos en lenguajes muy populares como el ejemplo C++.com/search/?q=Virgen&kwid=925428&c=1 . Ésta técnica usada de forma maliciosa (es similar pero en otro ámbito al buffer overflow) permitiría a un atacante modificar el funcionamiento normal de nuestro programa y nuestro sistema. [editar] Seguridad La seguridad a la hora de desarrollar software usando estructuras de datos de tipo pila es un factor a tener en cuenta debido a ciertas vulnerabilidad que un uso incorrecto de éstas puede originar en la seguridad de nuestro software o en la seguridad del propio sistema que lo ejecuta. http://www. Algunos de estos problemas pueden ser resueltos por otras estructuras de datos como una cola.aztecaporno.