ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
1995, ТОМ 1, ВЫПУСК 3, СТР. 729-751

Исчисление Ламбека
и формальные грамматики

М.Р.Пентус
Московский государственный университет
им. М.В.Ломоносова

УДК 519.766.23

Доказано, что класс языков, распознаваемых категориальными грамматиками Ламбека, совпадает с классом всех контекстно-свободных языков.

Постскрипт статьи (76Kb)


Главная страница Редколлегия Информация для авторов
Поиск Содержание журнала Объявления

URL страницы: http://mech.math.msu.su/~fpm/rus/95/953/95311.htm
Изменения вносились 23 июня 1997 г.