Исследуются контекстно-свободные языки. Определение семантики контекстно-свободного языка осуществляется путем последовательного описания правил вывода формальной грамматики этого языка и индуктивного выражения семантики каждого такого правила через базовые и ранее определенные семантические категории, представленные в виде текстов на определяемом языке. Для определения базовых семантических категорий ис-пользуется внешний интерпретатор. Рассматривается метод разнесенного грамматического разбора, предназначенный для повышения эффективности обработки текстов, порожденных неоднозначными грамматиками.