1) Sea L = { 0^(n)1^(2n) | n >= 1 }
2) Sea h tal que |w| >= h y h = 3n
1) Sea w = 0^(n)1^(2n)
2) Sea x=0^n ; y = 1^n ; z^n. Es claro que |y| =\= 0. Además, |xy| < h
1) Sea k=0, 0^n1^n pertenece a L?. NO!. Listo. LQQD.
2) Sea h tal que |w| >= h y h = 3n
1) Sea w = 0^(n)1^(2n)
2) Sea x=0^n ; y = 1^n ; z^n. Es claro que |y| =\= 0. Además, |xy| < h
1) Sea k=0, 0^n1^n pertenece a L?. NO!. Listo. LQQD.
0 comentarios:
Publicar un comentario