0

Please help me, why the following language is context free?

$L=\{Wa^nb^mW^R\mid\:W\in\{a,b\}^+,n>m,m>0\:\}$

  • 2
    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 Mathieson Dec 27 '14 at 06:34
  • You may also want to peruse this question first. – Luke Mathieson Dec 27 '14 at 06:36

0 Answers0