P5. L= {a^2n b^n : n>=0} {a^n b^n : n>0}

a) Construct a CFG for L.

Please solve these problems!

P6. Let L2 = {: Mis T.M. and L(M) = I*}. Show a reduction from L, to Etx, i.e. using the fact that I, is undecidable show that EQTM is also undecidable