Ya que mañana no puedo ir a la muestra y calculo por mi puntaje del parcial que mi solución al primer ejercicio no fue la correcta, pregunto: ¿Cómo quedaba la definición inductiva del conjunto de pares que representaban a un elemento de BIN y su largo menos uno?
No tengo la letra conmigo por eso no planteo los detalles del ejercicio. Si no recuerdo mal yo lo definí así:
i) (0,0) pertenece a BINL
ii) (1,0) pertenece a BINL
iii) Si (a, n) pertenece a BINL entonces (1a, n+1) pertenece a BINL
iv) Si (b, n) pertenece a BINL entonces (0b, n+1) pertenece a BINL
Agradezco la ayuda.
Slds