Give the CFG's from the following two languages, explain why they represent the language.

L(G2) = {(ab)*a*bk | i, j, k > 0 en k n(x) > na(x) - 2}