Hola!
Estoy intentando el ejercicio, y se me ocurre demostrar que el lenguaje no es regular utilizando el contrarrecíproco del pumping lema. La z que estoy utilizando es 
. Con esta z quedan bastantes descomposiciones posibles, y quería preguntarles si hay alguna forma más eficiente que no estoy viendo. Espero su respuesta, muchas gracias.
hola:
las familias de descomposiciones están dadas por las variaciones "sintácticas" de la tira. si los N símbolos del comienzo son el mismo, siempre vas a poder hacer una única familia.
en tu caso, ¿por qué no tomar z= 0^N.1.0^N?, su largo es 2N+1 (por ende, mayor a N) y z=z^r, con lo que es una tira pasible de ser usada en el CPL.
saludos,
d.-