Аннотация:Мы представляем новую структурную лемму для детерминированных контекстно-свободных языков. На первый взгляд, она выглядит как лемма о накачке, потому что она также основана на итеративных свойствах, но она имеет значительные отличия, которые сильно упрощают её применение. Структурная лемма является комбинаторным аналогом KC-DCF-леммы (основанной на колмогоровской сложности), представленной М. Ли и П. Витаньи в 1995 г. и исправленной О. Глиером в 2003 г. Структурная лемма позволяет не только доказать, что КС-язык не является детерминированным КС-языком, но и раскрывает структуру классов Майхилла-Нероуда.