Hola,
Es interesante esto que planteás. De todas formas, esto está implícito en la definición de $\mathcal{X}_k$ más adelante (las palabras que cierran co los patrones que viste hasta ahora). Es decir, en el intento $k$, considerás que $X$ está solamente dentro del alfabeto $\mathcal{X}_k$. En el momento que te da todo verde, el alfabeto tiene un solo elemento y ganaste. Pero es cierto que no está bien definido al principio de la letra este tema. Para el año que viene lo pondremos antes.
saludos!
Es interesante esto que planteás. De todas formas, esto está implícito en la definición de $\mathcal{X}_k$ más adelante (las palabras que cierran co los patrones que viste hasta ahora). Es decir, en el intento $k$, considerás que $X$ está solamente dentro del alfabeto $\mathcal{X}_k$. En el momento que te da todo verde, el alfabeto tiene un solo elemento y ganaste. Pero es cierto que no está bien definido al principio de la letra este tema. Para el año que viene lo pondremos antes.
saludos!