на статью А.О. Слисенко "Context-free grammars as a tool for describing polynomial-time subclasses of hard problems".
