13.2 Generación del árbol de Huffman

1. Crear una lista de árboles binarios, en la que cada árbol está formado por un único nodo y cada nodo contiene un símbolo y su probabilidad.
2. Mientras existan al menos 2 árboles en la lista:
   1. Extraer de la lista los 2 árboles con menor probabilidad.
   2. Insertar en la lista un nuevo árbol binario cuyas hojas son los árboles extraídos y cuya raíz es la suma de las probabilidades de estos.
3. Puede encontrarse una implementación del algoritmo de Huffman en el Apéndice 39.16.