Фундамент. и прикл. матем.,
1995, том 1, выпуск 3, страницы 729–751
(Mi fpm100)
|
Эта публикация цитируется в
4 статьях
Исчисление Ламбека и формальные грамматики
М. Р. Пентус Московский государственный университет им. М. В. Ломоносова
Аннотация:
Доказано, что класс языков, распознаваемых категориальными грамматиками Ламбека, совпадает с классом всех контекстно-свободных языков.
Ключевые слова:
исчисление Ламбека, категориальная грамматика, контекстно-свободная грамматика, интерполяционное свойство.
УДК:
519.766.23
Поступила в редакцию: 01.06.1995
Реферативные базы данных:
© , 2024
Полный текст:
PDF файл (844 kB)