3. Autoevaluación

3- Árboles Solución de la Autoevaluación Especificación de recorridos para árboles generales
espec listas parámetro formal género elemento fpf géneros lista operaciones lVacía: --> lista añadeDcha: lista elemento --> lista añadeIzda: elemento lista --> lista concatena: lista lista --> lista ecuaciones l,l2:lista; e,e2:elemento añadeIzda(e,lVacía) = añadeDcha(lVacía,e) añadeIzda(e,añadeDcha(l,e2)) = añadeDcha(añadeIzda(e,l),e2) concatena(l,lVacía) = l concatena(l,añadeDcha(l2,e2)) = añadeDcha(concatena(l,l2),e2) fespec espec recorridosÁrbolesOrdenados parámetro formal género elemento fpf usa árbolesOrdenados(elemento),listas(elemento) operaciones preBosque,postBosque: bosque ??? lista preorden,postorden: árbol ??? lista ecuaciones b:bosque; a:árbol; e:elemento preBosque(bVacío) = lVacía preBosque(+dch(b,a)) = concatena(preBosque(b),preorden(a)) preorden(enraizar(e,b)) = añadeIzda(e,preBosque(b)) postBosque(bVacío) = lVacía postBosque(+dch(b,a)) =concatena(postBosque(b),postorden(a) postorden(enraizar(e,b)) = añadeDcha(postBosque(b),e) fespec

E.Mayordomo y K. Urzelai elvira at posta.unizar.es karmelo at posta.unizar.es Fecha de actualización: 5-9-01