1
$\begingroup$

I need help with this problem. I proved that $L$ is not context free (using Ogden's lemma), but I can't prove that $\overline{L}$ is context free. I'm thinking about a proof by cases (if $\#(a)=\#(b) \neq \#(c)$ or something else) but the proof could be so extensive.

$\endgroup$
  • $\begingroup$ Has been asked before many times. $\endgroup$ – Yuval Filmus Feb 16 '16 at 23:04

Browse other questions tagged or ask your own question.