Hola,
Tengo una duda sobre los casos de familias con demostraciones análogas en el pumping lemma: más específicamente, qué cosas son necesarias para que tomen la justificación como válida.
En la clase de presentación de práctico, algo habían mencionado, pero no recuerdo exactamente qué. Lo que yo estoy haciendo es escribir algo del estilo "Familia n: (demostración completa, justificada, etc.). Análogamente se prueba para la familia m: en este caso, se tiene zi = (...), y tomando (j siendo el natural elegido) zj = (...), tenemos que zj no pertenece al lenguaje, pues (...).
Y así con las familias que se prueban análogamente. Quería saber si esto lo toman como justificación suficiente o debo detallar algo más.
Saludos,
Santiago