Buenas, realizando el ejercicio en cuestión para demostrar que el lenguaje no es LC tomé z = 1^N #1^N # el cual genera menos descomposiciones que el z tomado en la solución. Es valido este z ?
Hola.
Esa tira no te sirve para probarlo.
Fijate que cuando consideres en la descomposición de z=uvwxy, si v = 1^p (en los primeros 1´s) y x=1^q (en los segundos 1's), para el caso en que p=q, la tira siempre va a pertenecer al lenguaje para cualquier i, porque se siguen manteniendo las cantidades de 1's iguales a ambos lados del #.
Saludos
Juanjo
Esa tira no te sirve para probarlo.
Fijate que cuando consideres en la descomposición de z=uvwxy, si v = 1^p (en los primeros 1´s) y x=1^q (en los segundos 1's), para el caso en que p=q, la tira siempre va a pertenecer al lenguaje para cualquier i, porque se siguen manteniendo las cantidades de 1's iguales a ambos lados del #.
Saludos
Juanjo