| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Двухдневная осенняя школа «Современные направления математической логики»
|
|||
|
|
|||
|
Синтаксическое исчисление Ламбека. Лекция 2 М. Р. Пентус Московский государственный университет имени М. В. Ломоносова |
|||
|
Аннотация: Исчисление Ламбека используется в математической лингвистике для строгого описания синтаксиса формальных и естественных языков. Категориальные грамматики, основанные на исчислении Ламбека, задают в точности контекстно-свободные языки без пустого слова. Предполагается рассмотреть методы, используемые в доказательстве этого результата. |
|||