Cola

Una fila o cola es una colección ordenada de elementos homogéneos en la que “hay” restricciones de acceso, los elementos ingresan por un extremo denominado fondo de la cola y salen por otro denominado frente.

La Cola tiene un comportamiento FIFO (First In First Out). Así el primer elemento que se incorpora a la estructura es el primero a ser eliminado.

Una Cola es aplicable cuando se desea tratar los elementos en el mismo orden estricto en el que entraron.

Cola Estática Circular:
Es una estructura de comportamiento FIFO y en una aplicación estática circular se utiliza un array con la particularidad que su crecimiento y decrecimiento se realiza en el mismo sentido reutilizando de ser posible los elementos a partir del primero si se llegó al último del array, trabajando entonces en forma circular.
Puede guardar como máximo 1 elemento menos del máximo que tiene definido el array.

Condiciones: Vacía: frente=fondo
Llena: próximo de fondo=frente

Para poder diferenciar Vacía de Llena optamos por inutilizar un elemento del array

Especificación TAD

Cola 
  usa Booleanos, Posiciones, Elementos
  tipos cola

operaciones
  colaVacia: -> cola
  CrearCola() -> colaVacia
  Empty(cola) -> bool
  Peek(cola) -> elem
  Insert(cola,elem) -> cola
  Remove(cola) -> cola

ecuaciones [Dados C:Cola; e,f,g:elem]
  Empty(colaVacia) = Verdadero ; 
  Empty(CrearCola()) = Verdadero
  Empty(Insert(C,e)) = Falso
  Peek(colaVacia) => error ;  
  Remove(colaVacia) => error   
  Remove(Insert(colaVacia,e)) = colaVacia
  Remove(Insert(Insert(colaVacia,f),g)) = Insert(Remove(Insert(colaVacia,f)),g)

FinEspecificación