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

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





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








Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
28 апреля 2015 г. 18:30–20:05, г. Москва, ГЗ МГУ, ауд. 16-04
 


Преобразование контекстно-свободных грамматик в грамматики Ламбека, сохраняющее семантические значения слов

С. Л. Кузнецов

Количество просмотров:
Эта страница:64

Аннотация: Контекстно-свободные грамматики и грамматики Ламбека, используемые для описания формальных языков, можно обогатить так называемой семантической разметкой. Такая обогащённая грамматика позволяет не только определить, принадлежит ли слово к языку, описываемому грамматикой, но и, если ответ положителен, приписать слову $\lambda$-терм, отвечающий семантическому значению ("смыслу") слова. В докладе будет представлен метод построения по контекстно-свободной грамматике в форме Хомского эквивалентной ей грамматики Ламбека, приписывающей словам языка те же $\lambda$-термы, что и исходная контекстно-свободная грамматика.

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