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 39: | Línea 39: | ||
buscar(⟨⟩,t) ≡ 0 | buscar(⟨⟩,t) ≡ 0 | ||
buscar(s, t) ≡ if esPrefijo?(s, t) then 0 else 1 + buscar(s, fin(t)) fi | buscar(s,t) ≡ if esPrefijo?(s,t) then 0 else 1 + buscar(s,fin(t)) fi | ||
=== g === | === g === |