Hola.
Aprovecho el hilo, complementando la respuesta de Santi y respondo a lo que mencionaba Ignacio.
El razonamiento no es correcto y te explico porque.
Si tu lenguaje es 0*1* y tomaras 0N1N como tira para probar que no es regular, cuando aplicás el CRPL, tanto el substring u como el v (z = uvw) caen en los 0’s (como se vio en la clase); a modo de ejemplo u=0p v=0q w=0N-p-q1N con p+q>=1 y q>=1.
Luego, al “pumpear” la v en los 0‘s te queda - supongamos que elegiste i = 2 - una cantidad de 0’s mayor que la cantidad de 1’s puesto que quedaría 0N+q 1N porque q>=1, que sigue perteneciendo al lenguaje original 0*1*.
Saludos
Juanjo
Aprovecho el hilo, complementando la respuesta de Santi y respondo a lo que mencionaba Ignacio.
El razonamiento no es correcto y te explico porque.
Si tu lenguaje es 0*1* y tomaras 0N1N como tira para probar que no es regular, cuando aplicás el CRPL, tanto el substring u como el v (z = uvw) caen en los 0’s (como se vio en la clase); a modo de ejemplo u=0p v=0q w=0N-p-q1N con p+q>=1 y q>=1.
Luego, al “pumpear” la v en los 0‘s te queda - supongamos que elegiste i = 2 - una cantidad de 0’s mayor que la cantidad de 1’s puesto que quedaría 0N+q 1N porque q>=1, que sigue perteneciendo al lenguaje original 0*1*.
Saludos
Juanjo