Języki bezkontekstowe nie są zamknięte pod uzupełnieniem. W wykładach podano nam ten sam argument, co tutaj na Wikipedii :
Pokazuje to jednak tylko, że jeden z trzech języków , i jest językiem bezkontekstowym z niekompletnym uzupełnieniem, ale nie dotyczy to jednego z tych języków. Więc co to jest?
Czy istnieje też minimalny i elegancki przykład języka bezkontekstowego z uzupełnieniem bezkontekstowym, może ponad alfabet binarny?