z = 1 0^(2N) 01 entiendo que cumple con | z | = 2N + 3 >= n y la tira pertenece al lenguaje ya que m mod 2 = 0 y m > n.
Mi duda surge ya que en la solución utilizan una tira muy diferente y me hace pensar que con esta tira se escapan casos en la prueba.
Gracias!