Procesamiento De Datos Algoritmos

Especificación Semántica (Cola)
* cola crear ()
Argumentos: Ninguno.
Efecto: Devuelve una cola vacía preparada para ser usada.
* void destruir(cola C)
Argumentos: Una cola C.Efecto: Destruye el objeto C liberando los recursos que mantiene que empleaba.Para volver a usarlo habrá que crearlo de nuevo.
* tElemento frente (cola C)
Argumentos: Recibe una cola C no vacía.Efecto: Devuelve el valor del primer elemento de la cola C. Se puede escribir en función de las operaciones primitivas de las listas como: ELEMENTO(PRIMERO(C),C).
* void poner_en_cola (tElemento x, cola C)Argumentos:
x: Elemento que queremos insertar en la cola. 
C: Cola en la que insertamos el elemento x.
Efecto: Inserta el elemento x al final de la cola C. En función de las operaciones de las listasseria: INSERTA(x,FIN(C),C).
* void quitar_de_cola (cola C)
Argumentos: Una cola C que debe ser no vacía.
Efecto: Suprime el primer elemento de la cola C. En función de las operaciones de listasseria: BORRA(PRIMERO(C),C).
* int vacia (cola C)
Argumentos: Una cola C.
Efecto: Devuelve si la cola C es una cola vacía.
Especificación Sintáctica (Cola)
Tipo: COLA
DOMINIORANGO
1. COLA_VACÍA: COLA COLA
2. ES_VACÍA : COLA LÓGICO
3. ENCOLAR : COLA x ELEMENTO COLA
4. DESENCOLAR : COLA COLA
5. PRIMERO: COLACOLA

Especificación sintáctica (Dípolo)

creaDipolo() → Dipolo,
insIzqDipolo(Dipolo,TipoEle) → Dipolo,
insDerDipolo(Dipolo,TipoEle) → Dipolo,
eliIzqDipolo(Dipolo) → Dipolo,eliDerDipolo(Dipolo) → Dipolo,
conIzqDipolo(Dipolo) → TipoEle,
conDerDipolo(Dipolo) → TipoEle,
vacíoDipolo(Dipolo) →Lógico,
destruyeDipolo(Dipolo) →.
Declaraciones:
TipoEle: e, {TipoEleNoDef}
Especificaciónsemántica (Dipolo)
vacíoDipolo(creaDipolo())=Verdadero
vacíoDipolo(insIzqDipolo(creaDipolo(),e))=F
vacíoDipolo(insDerDipolo(creaDipolo(),e))=F
conIzqDipolo(creaDipolo())={TipoEleNoDef}...