lunes, enero 23, 2012

TeoComp B2011: Problema 4.1.2.a

1) Sea L= { 0^n | n tal que n =r^2 }

2) Sea h, |w| >= h, h=r^2

1) Sea w = 0^(r)0^(r)

2) Sean x = 0^(r-1) ; y = 0 ; z = 0^r. Está claro que y no es lambda y |xy| < h

1) Sea k=0, 0^(r-1)0^r pertenece a L?. NO!. LQQD.

0 comentarios: