Me surgió una duda sobre la solución propuesta.
Para generar una lista a partir de los elementos del árbol, se utiliza el procedimiento ListaPalOrdenada de la parte c) del ejercicio. Ese procedimiento hace que la lista y el árbol compartan memoria. Cabe destacar que los nodos del árbol almacenan palabras del tipo Palabra, que son listas simplemente enlazadas de caracteres (como se define en la parte a del ejercicio). Entonces cuando se pasa un árbol a una lista, se comparten las direcciones de memoria a las que apuntan.
En la solución planteada para la parte d), se pasan los dos árboles a listas (y comparten memoria) y se comparan esas listas elemento a elemento para ver si son iguales. Luego se borran las listas generadas. Mi pregunta es, si los árboles y las listas comparten memoria y apuntan a la misma dirección de memoria, ¿al borrar las listas no se borran también los elementos del árbol? ¿Eso está bien?