#матлог #спецсеминар

В ближайшую пятницу (23 мая) в Институте языкознания РАН состоится заседание семинара "Некоторые применения математических методов в языкознании", на котором выступит Борис Николаевич Карлов, представитель тверской школы, известной своей математико-лингвистической традицией. Для участия в заседании (очно либо онлайн) необходимо зарегистрироваться по ссылке: https://forms.gle/PZBiDgLnyxkQqpAt6

Когда: 23 мая 2025 г. в 14:30
Где: Институт языкознания РАН, ауд. 10 (https://yandex.ru/maps/-/CHVNuN9b; первый этаж, по коридору налево) + онлайн
Докладчик: Борис Николаевич Карлов (Тверской государственный университет)
Тема: Лемма об обмене для категориальных грамматик зависимостей
Аннотация:
Как известно, классические категориальные грамматики не способны выражать непроективные зависимости между словами в предложениях, когда зависимое слово стоит в "чужой" синтаксической группе. Одним из расширений категориальных грамматик являются категориальные грамматики зависимостей (КГЗ) и мультимодальные КГЗ (ммКГЗ), введённые в работах А.Я.Диковского и М.И.Дехтяря. Это классические категориальные грамматики, дополнительно оснащённые так называемыми поляризованными валентностями, задающими начала и концы непроективных зависимостей. КГЗ весьма выразительны, в частности, они способны порождать некоторые языки, не задаваемые комбинаторными категориальными грамматиками. Однако были неизвестны примеры "простых" языков, не порождаемых КГЗ. Данный доклад посвящён решению этой проблемы. Для КГЗ-языков будет доказано необходимое условие, являющееся обобщением леммы об обмене для контекстно-свободных языков (interchange lemma). С помощью этой леммы будет доказано, что язык копий не порождается никакой КГЗ, что класс КГЗ-языков не замкнут относительно пересечения и дополнения, а также что существует ммКГЗ-язык, не являющийся КГЗ-языком.

➰ ВК