Замкнутость бесконтекстных языков относительно объединения, сцепления, звёздочки, циклического сдвига и пересечения с регулярными языками. Доказательство непредставимости языков бесконтекстными грамматиками: лемма накачки, непредставимость языка $ {a^n b^n c^n \mid n \geqslant 0} $. Разрешимость задачи пустоты и задачи принадлежности для бесконтекстных грамматик.