3- Árboles3.3 Árboles binarios

Especificación de árboles binarios
      espec árbolesBinarios
        usa booleanos,naturales
        parámetro formal
          género elemento
        fpf
        género arbin
        operaciones
          aVacío: --> arbin
          enraizar: elemento arbin arbin --> arbin
          parcial raíz: arbin --> elemento
          parcial subIzq,subDer: arbin --> arbin
          vacío?: arbin --> bool
          altura: arbin --> nat
        dominios de definición iz,de:arbin; e:elemento
          raíz(enraizar(e,iz,de))
          subIzq(enraizar(e,iz,de))
          subDer(enraizar(e,iz,de))
        ecuaciones iz,de:arbin; e:elemento
          raíz(enraizar(e,iz,de)) = e
          subIzq(enraizar(e,iz,de)) = iz
          subDer(enraizar(e,iz,de)) = de
          vacío?(aVacío) = verdad
          vacío?(enraizar(e,iz,de)) = falso
          altura(aVacío) = -1
          altura(enraizar(e,iz,de)) = 
          suc(máx(altura(iz),altura(de)))
      fespec


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