Estimados, a la hora de demostrar que un lenguaje no es LC usando el PL para LLC, en las familias que son analogas a la demostrada anteriormente se explica por qué motivo no pertenece al lenguaje en cuestion.
Por ejemplo yo tengo que para la familia 1) el i elegido es 0.
Ahora para la familia 5) y la familia 9), que son análogas a la 1), me tengo que tomar un i distinto (por ejemplo i=2).
Estaría bien justificado decir lo siguiente:
"La familia 5) es análoga a la familia 1) ya que tomando i=2, z2 no pertenece al lenguaje porque (ACA EXPLICO EL MOTIVO DE PORQUE z2 NO PERTENECE AL LENGUAJE) y la familia 9) es análoga a la familia 1) ya que tomando i=2, z2 no pertenece al lengua porque (ACA EXPLICO EL MOTIVO DE PORQUE z2 NO PERTENECE AL LENGUAJE)".
O en realidad como el i tomado para la familia 1) es distinto al tomado para la familia 5) y 9), no puedo decir que la familia 5) y 9) son análogas a la familia 1)???
Espero se haya entendido la duda.