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 239: | Línea 239: | ||
podar: rosetree(α) a → rosetree(α) {¬esHoja?(a)} | podar: rosetree(α) a → rosetree(α) {¬esHoja?(a)} | ||
podar(r) ≡ rose(raíz(r), podadora(hijos(r))) | podar(r) ≡ rose(raíz(r),podadora(hijos(r))) | ||