L = {0^p1^m2^p} donde p y m son enteros arbitrarios.
Para todo .. el Jugador 1) dice Sea L.
Existe .. el Jugador 2) Sea n = 3p con p = m.
Para todo .. el Jugador 1) Sea w tal que |w|=n, w = 0^p1^m2^p
Existe .. dice el Jugador 2) Sean x = 0^p, y = 1^p, z = 2^p con p >= 0
Para todo .. el Jugador 1) Sea k = 0, 0^p2^p pertenece a L? Sí!.. !!
De hecho, para cualquier k se es escoja, se cumpliría. Falla el jugador 1 en probar que el lenguaje no es regular? NO. Lo que pasa es que 2 se lo puso muy difícil a 1.
Volvamos a la elección de x, y y z en w: w = 0^(p+1)1^p2^(p+1). Ahora x=0^p, y=01^p, z = 2^(p+1)
1) Sea k = 0, xy^0z pertenece a L? 0^p2^(p+1) pertenece a L? NO!
Lqqd!.
Para todo .. el Jugador 1) dice Sea L.
Existe .. el Jugador 2) Sea n = 3p con p = m.
Para todo .. el Jugador 1) Sea w tal que |w|=n, w = 0^p1^m2^p
Existe .. dice el Jugador 2) Sean x = 0^p, y = 1^p, z = 2^p con p >= 0
Para todo .. el Jugador 1) Sea k = 0, 0^p2^p pertenece a L? Sí!.. !!
De hecho, para cualquier k se es escoja, se cumpliría. Falla el jugador 1 en probar que el lenguaje no es regular? NO. Lo que pasa es que 2 se lo puso muy difícil a 1.
Volvamos a la elección de x, y y z en w: w = 0^(p+1)1^p2^(p+1). Ahora x=0^p, y=01^p, z = 2^(p+1)
1) Sea k = 0, xy^0z pertenece a L? 0^p2^(p+1) pertenece a L? NO!
Lqqd!.
0 comentarios:
Publicar un comentario