group-telegram.com/msu_mathlog/232
Last Update:
#матлог #спецсеминар
В ближайшую пятницу (23 мая) в Институте языкознания РАН состоится заседание семинара "Некоторые применения математических методов в языкознании", на котором выступит Борис Николаевич Карлов, представитель тверской школы, известной своей математико-лингвистической традицией. Для участия в заседании (очно либо онлайн) необходимо зарегистрироваться по ссылке: https://forms.gle/PZBiDgLnyxkQqpAt6
Когда: 23 мая 2025 г. в 14:30
Где: Институт языкознания РАН, ауд. 10 (https://yandex.ru/maps/-/CHVNuN9b; первый этаж, по коридору налево) + онлайн
Докладчик: Борис Николаевич Карлов (Тверской государственный университет)
Тема: Лемма об обмене для категориальных грамматик зависимостей
Аннотация:
Как известно, классические категориальные грамматики не способны выражать непроективные зависимости между словами в предложениях, когда зависимое слово стоит в "чужой" синтаксической группе. Одним из расширений категориальных грамматик являются категориальные грамматики зависимостей (КГЗ) и мультимодальные КГЗ (ммКГЗ), введённые в работах А.Я.Диковского и М.И.Дехтяря. Это классические категориальные грамматики, дополнительно оснащённые так называемыми поляризованными валентностями, задающими начала и концы непроективных зависимостей. КГЗ весьма выразительны, в частности, они способны порождать некоторые языки, не задаваемые комбинаторными категориальными грамматиками. Однако были неизвестны примеры "простых" языков, не порождаемых КГЗ. Данный доклад посвящён решению этой проблемы. Для КГЗ-языков будет доказано необходимое условие, являющееся обобщением леммы об обмене для контекстно-свободных языков (interchange lemma). С помощью этой леммы будет доказано, что язык копий не порождается никакой КГЗ, что класс КГЗ-языков не замкнут относительно пересечения и дополнения, а также что существует ммКГЗ-язык, не являющийся КГЗ-языком.
➰ ВК
BY Кафедра математической логики и теории алгоритмов мехмата МГУ
Share with your friend now:
group-telegram.com/msu_mathlog/232