Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары




Общеинститутский семинар «Коллоквиум МИАН»
5 июня 2014 г. 16:00, г. Москва, конференц-зал МИАН (ул. Губкина, 8)
 


Категориальные грамматики Ламбека

Степан Кузнецов
Видеозаписи:
Flash Video 3,827.8 Mb
Flash Video 638.8 Mb
MP4 2,425.2 Mb

Количество просмотров:
Эта страница:1374
Видеофайлы:439
Youtube:

Степан Кузнецов
Фотогалерея



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