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

Во вторник 29 сентября на семинаре «Некоторые применения математических методов в языкознании» им. В. А. Успенского состоится доклад С. Л. Кузнецова (МИАН) "Алгоритмы для грамматик Ламбека и их расширений".

Время: 29 сентября, 18:00-19:30.
Место: Институт языкознания РАН, Большой Кисловский пер., 1, стр. 1, конференц-зал. Для прохода необходимо зарегистрироваться по ссылке ниже и взять с собой паспорт.
Ссылка для регистрации: https://forms.gle/gTTJR4XoHoRczxRcA
(все зарегистрировавшиеся получат ссылку для онлайн-подключения)

Анонс:
Категориальные грамматики Ламбека представляют собой один из формализмов для задания синтаксиса и формальной семантики естественного языка. Из-за ограничений, присущих грамматикам Ламбека, рассматриваются также их расширения и модификации. При этом важным свойством таких расширений является его алгоритмическая разрешимость: должен существовать алгоритм, проверяющий принадлежность слова задаваемому грамматикой языку, и желательно, чтобы этот алгоритм работал относительно быстро. В докладе будет приведено несколько естественных расширений грамматик Ламбека, для которых задача принадлежности перестаёт быть алгоритмически разрешимой, и показано, как вернуть разрешимость, вводя ограничения на эти расширения. Речь пойдёт о грамматиках сr добавлением аксиом, с итерацией Клини и с комбинацией субэкспоненциальной модальности и управляемой неассоциативности. В изложении большее внимание будет уделяться содержательным примерам, чем детальным математическим доказательствам (на которые будут даны ссылки).

Страница семинара: http://tipl.philol.msu.ru/index.php/science/seminars/npmmvia