Design a PDA with proper comments to accept each of the following languages by empty stack model. NO credit will be given if you design a CFG and then convert it to the equivalent PDA. {a^nb^mc^k | m + k = n, where n, m, k greaterthanorequalto 0} {a^nb^mc^k | n + k = m, where n, m, k > 0} {a^mb^n | m lessthanorequalto n lessthanorequalto 2m, where m and n greaterthanorequalto 0} {w elementof {a, b, c}* |#_a(w) + #_b(w) = #_c(w)} Let sigma = {a, b, c} and let L be the language of all words in which all the a's come before the b's and there are the same number of a's as b's and arbitrarily many c's that can be in front, behind, or among the a's and b's. Some words in L are epsilon, abc, caabcb, ccacaabcccbccbc