TeoComp B2011: Problema 4.1.1.e

1) Sea L = { O^n1^m | n =< m }

2) Sea h, tal que |w| = h, h = 2m

1) Sea w = 0^m1^m

2) Sean x = 0^(m-1) y =0 z = 1^m ; obviamente |y| no es 0 y y no es lambda; Además, |xy| <= h

1) Sea k=0, 0^(m-1)1^m pertenece a L?. Sí. No sirvió.
    Sea k=1, 0^(m-1)01^m pertenece a L?. Sí. Tampoco sirvió.
    Sea k=3, 0^(m-1)0^(3)1^m pertenece a L?. NO!. LQQD