Can you see how construct separate PDAs for ${a^{n}b^{m}\mid n > m > 0}$ and ${WW^{R}\mid W\in{a,b}^{+}}$? If so, how might you use nondeterminism to combine them? If this isn't the problem, where are you getting stuck? Everyone gets more out of the questions if you explain the precise problem you are having, so the answers aren't just generic exercise solutions.
– Luke MathiesonDec 27 '14 at 06:34