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

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





Для просмотра файлов Вам могут потребоваться








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


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

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

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

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


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке



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

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018