Альтернативные формальные модели языка: лексико-функциональная грамматика

Лексико-функциональная грамматика (ЛФГ) является одним из альтернативных, так называемых нетрансформационных синтаксических формализмов. Ключевой особенностью этих теорий является замена "процедурной" модели грамматики на "декларативную" (constraint-based): грамматичность предложений лицензируется не возможностью их порождения путём последовательности трансформаций, но набором "статических" ограничений на возможные структуры. Основным принципом ЛФГ является представление о грамматике как совокупности параллельных структур (синтаксис, семантика, просодия, информационная структура и т.д.), связанных между собой системой соответствий. При этом синтаксис расщепляется на два уровня: c-структуру (структуру составляющих), отвечающую за порядок слов и иерархическое вложение элементов предложения, и f-структуру (функциональную структуру), отвечающую за предикатно-аргументные отношения (подлежащее, прямой объект и т.д.) и морфосинтаксические признаки. Такой подход соединяет в себе элементы грамматики составляющих и грамматики зависимостей; он позволяет избавиться от передвижений, "следов" и других нулевых элементов в дереве составляющих, а также адекватно описывать вариативность порядка слов и структуры клаузы в языках мира.

Модель грамматики, используемая в ЛФГ, довольно близка к стандартным типологическим и функционалистским представлениям об устройстве языка и поэтому особенно хорошо подходит для создания интегральных описаний синтаксиса языков различных семей и ареалов.

Как и другие нетрансформационные синтаксические формализмы, ЛФГ отличается высокой степенью эксплицитности и математической формализации. Разработан работающий парсер для ЛФГ-грамматик -- Xerox Linguistic Environment (https://ling.sprachwiss.uni-konstanz.de/pages/xle/), на базе которого созданы подробные грамматики для ряда языков в рамках проекта ParGram. Общее представление об ЛФГ можно получить, прочитав первые главы в готовящемся издании Handbook of LFG: https://langsci-press.org/catalog/book/312

Программа:

1. Основы формального синтаксиса. Формализм и теория. Трансформационные и декларативные формализмы.
2. Основы лексико-функциональной грамматики. Параллельная архитектура. C- и f-структура.
3. Формализация ЛФГ. Метаязык описания грамматик. Ф-дескрипции и аннотированные правила структуры составляющих.
4. Множества и сочинительные структуры. Дистрибутивность признаков.
5. Структура клаузы в ЛФГ. Конфигурационные и неконфигурационные языки.
6. Анафора и связывание в ЛФГ.
7. Конструкции с сентенциальными актантами. Предикаты контроля и подъёма.
8. Основы семантики в ЛФГ: Glue Semantics. Линейная логика, изоморфизм Карри-Говарда. Анализ кванторных именных групп.