Este es el enunciado formal del contrarrecíproco del pumping lemma
Y esta es la letra y solución a un parcial
Mi duda es si hay un error en el z que se eligió. El enunciado del contrarrecíproco del pumping lemma dice que el z debe de ser valido para todo N natural sin embargo tomando N = 0, el z elegido no pertenece al lenguaje pues no tiene ninguna "a". ¿Estoy en lo correcto o me estoy pasando algo por algo?
Muchas gracias