О преобразовании контекстно-свободных грамматик в грамматики Ламбека

Автор: Кузнецов С.Л.
Журнал: Труды Математического института им.В.А.Стеклова РАН
Том: 290
Год издания: 2015
Издательство: МИАН
Местоположение издательства: Москва
Первая страница: 72
Последняя страница: 79
DOI: 10.1134/S0371968515030061
Аннотация: Рассматриваются контекстно-свободные грамматики и грамматики Ламбека, обогащенные семантической разметкой. Такие грамматики не только отвечают на вопрос, принадлежит ли данное слово описываемому грамматикой формальному языку, но и, если ответ положителен, приписывают слову λ-терм, отвечающий семантическому значению (“смыслу”) слова. Представлена модификация предложенного В. Бушковским непосредственного преобразования контекстно-свободных грамматик в форме Хомского в грамматики Ламбека, сохраняющая семантические значения слов.
Добавил в систему: Кузнецов Степан Львович

	ИСТИНА	Войти в систему Регистрация
	ИПМех РАН
	Главная Поиск Статистика О проекте Помощь

ИСТИНА