Draw out a push down autonoma for :

L1 = {a^mb^nc^k | m = 2n + 3k, where m, n, k 0}.

L2 = {w {a, b} | na(w) > 2nb(w), where na(w), nb(w) 0} Note: na(w) is number of as in the string w and nb(w) is number of bs in w.