О преобразовании контекстно-свободных грамматик в грамматики Ламбека

Рассматриваются контекстно-свободные грамматики и грамматики Ламбека, обогащенные семантической разметкой. Такие грамматики не только отвечают на вопрос, принадлежит ли данное слово описываемому грамматикой формальному языку, но и, если ответ положителен, приписывают слову $\lambda$-терм, отвечающий семантическому значению (“смыслу”) слова. Представлена модификация предложенного В. Бушковским непосредственного преобразования контекстно-свободных грамматик в форме Хомского в грамматики Ламбека, сохраняющая семантические значения слов.