Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición. Si
inicias sesión o
creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.
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 151: |
Línea 151: |
| ntn: conj(secu(α)) x secu(α) → conj(secu(α)) | | ntn: conj(secu(α)) x secu(α) → conj(secu(α)) |
|
| |
|
| [ToDo]
| | blablabla |
| | |
| Necesito:
| |
| | |
| * Ver si CADA secuencia del conjunto de entrada es o no subsecuencia de la secuencia de entrada (2do param)
| |
| * → Definir función auxiliar '''''esSubsecuencia(a • s, b • t)''''', <small>a,b:α, s,t:secu(α)</small>
| |
| * → Definir '''''ntn(Ag(a • s, w), b • t)'''''<small>, w: conj(secu(α))</small>
| |
| | |
| * Ver si CADA secuencia del conjunto DE SALIDA es o no subsecuencia de alguna otra secuencia del conjunto de salida
| |
| * → Puedo usar la misma función auxiliar esSubsecuencia()
| |
|
| |
|
| == Ejercicio 5 == | | == Ejercicio 5 == |