3- ÁrbolesSolución de la Autoevaluación

Especificación de recorridos para árboles binarios
 
espec recorridosÁrbolesBinarios
parámetro formal
género elemento
fpf
usa árbolesBinarios(elemento),listas(elemento)
operaciones
preorden,inorden,postorden: arbin --> lista
ecuaciones iz,de:arbin; e:elemento
preorden(aVacío) = lVacía
preorden(enraizar(e,iz,de)) = añadeIzda(e,concatena(preorden(iz),preorden(de)))
postorden(aVacío) = lVacía
postorden(enraizar(e,iz,de)) = añadeDcha(concatena(preorden(iz),preorden(de)),e) 
inorden(aVacío) = lVacía
inorden(enraizar(e,iz,de)) = concatena(añadeDcha(preorden(iz),e),preorden(de))
fespec
 


  E.Mayordomo y K. Urzelai 
elvira at posta.unizar.es
karmelo at posta.unizar.es

Fecha de actualización: 5-9-01