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 37: | Línea 37: | ||
buscar: secu(α) x secu(α) → nat | buscar: secu(α) x secu(α) → nat | ||
buscar(⟨⟩,t) ≡ | buscar(⟨⟩,t) ≡ true | ||
buscar(s, t) ≡ if esPrefijo?(s, t) then 0 else 1 + buscar(s, fin(t)) fi | buscar(e • s,t) ≡ if esPrefijo?(e • s,t) then 0 else 1 + buscar(e • s,fin(t)) fi | ||
=== g === | === g === | ||
Línea 50: | Línea 50: | ||
=== h === | === h === | ||
insertarOrdenada: secu(α) so x α → secu(α) {estaOrdenada?(so)} | insertarOrdenada: secu(α) so x α → secu(α) {estaOrdenada?(so)} | ||
insertarOrdenada(⟨⟩, | insertarOrdenada(⟨⟩,a) ≡ a • ⟨⟩ | ||
insertarOrdenada( | insertarOrdenada(e • s,a) ≡ if a ≤ e then a • e • s else e • insertarOrdenada(s,a) fi | ||
=== i === | === i === |