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 5: | Línea 5: | ||
duplicar: secu(α) → secu(α) | duplicar: secu(α) → secu(α) | ||
duplicar(s) ≡ if vacía?(s) then ⟨⟩ else prim(s) • prim(s) • duplicar(fin(s)) fi | duplicar(s) ≡ if vacía?(s) then ⟨⟩ else prim(s)•prim(s)•duplicar(fin(s)) fi | ||
=== b === | === b === |