Esta es una duda mas general pero se presenta en este ejericio:
La letra pide definir el conjunto VB, en mi caso lo definí con 4 reglas inductivas
0∈VB
1∈VB
Si w∈VB entonces 0w∈VB
Si w∈VB entonces 1w∈VB
En la solución definen el conjunto D = {0,1} y definen VB de manera similar a sigma* a partir de sigma con (2 reglas), lo que luego provoca tener que ver por casos para cada elemento de D.
Creo que no hay mayor lio en definirlo con 4 reglas pero vi que luego se define largo siguiendo esa definición con d (no lo dice explicito pero se entiende).
Mi pregunta es, es legal usar largo definido como está si mi definición usa otras reglas?