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.-