Algoritmos y Programación en Pascal

17.4.
Árboles binarios 385
Recorrido Cola de espera
[ ] [T]
[A] [T1, T2]
[A,B] [T2,D,E]
[A,B,C] [D,E,F,T3]
[A,B,C,D] [E,F,T3]
[A,B,C,D,E] [F,T3]
[A,B,C,D,E,F] [T3]
[A,B,C,D,E,F,G] [H]
[A,B,C,D,E,F,G,H] [ ]
Tabla 17.1.
var
arbolesEnEspera: cola de árboles
...
CrearCola(arbolesEnEspera);
PonerEnCola(arbolDato, arbolesEnEspera);
donde una cola de árboles se concreta mediante el tipo tApNodo (véase el apartado
17.3), siendo sus elementos tElem del tipo tArbol.
La segunda acción consiste en la serie de pasos de la figura 17.13.
Naturalmente, todo el peso del procedimiento recae en el procesado de los
árboles en espera. Para ello hay que leer la raíz del primer árbol de la cola
(mientras ésta no esté vacía), sacarlo de ella y añadir al final de la cola sus
subárboles hijos. Por tanto, la acción Procesar los árboles en espera se puede
refinar de la siguiente forma:
mientras arbolesEnEspera nil hacer
Sacar el primer árbol de la cola
Procesar su nodo raíz
Poner en cola los subárboles no vacíos
El refinamiento de cada una de las tareas anteriores es directa haciendo uso
de las operaciones descritas para el tipo cola.