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

Поиск
RSS
Новые поступления





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






Международная конференция «Logical Models of Reasoning and Computation»
3 февраля 2012 г. 15:30, г. Москва, МИАН
 


Grammars based on variants of the Lambek calculus

Stepan Kuznetsov

Moscow State University
Видеозаписи:
Flash Video 1,158.0 Mb
Flash Video 190.3 Mb
MP4 190.3 Mb

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

Stepan Kuznetsov
Фотогалерея


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

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

Аннотация: We consider the Lambek calculus with one division and one primitive type (L(p)) and two extensions of the Lambek calculus: L1 (adding the unit constant) and LR (adding a unary connective that corresponds to taking the language of the inverse strings). We prove that L(p)- grammars and LR-grammars generate precisely all context-free languages without the empty word, and L1-grammars generate precisely all context-free languages.

Язык доклада: английский

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