1
$\begingroup$

This question already has an answer here:

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$

marked as duplicate by Yuval Filmus, David Richerby, Raphael Feb 16 '16 at 23:50

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • $\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.