Edición de «AED2 resumen 2C-17»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 220: | Línea 220: | ||
sumarHojas(hijos(r)) | sumarHojas(hijos(r)) | ||
fi | fi | ||
esHoja?: rosetree(α) → bool | esHoja?: rosetree(α) → bool | ||
esHoja?(r) ≡ vacía?(hijos(r)) | esHoja?(r) ≡ vacía?(hijos(r)) | ||
sumarHojas: secu( rosetree(α) ) → nat | sumarHojas: secu( rosetree(α) ) → nat |