|
Фундаментальная и прикладная математика, 1995, том 1, выпуск 3, страницы 729–751
(Mi fpm100)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Исчисление Ламбека и формальные грамматики
М. Р. Пентус Московский государственный университет им. М. В. Ломоносова
Аннотация:
Доказано, что класс языков, распознаваемых категориальными грамматиками Ламбека, совпадает с классом всех контекстно-свободных языков.
Ключевые слова:
исчисление Ламбека, категориальная грамматика, контекстно-свободная грамматика, интерполяционное свойство.
Поступила в редакцию: 01.06.1995
Образец цитирования:
М. Р. Пентус, “Исчисление Ламбека и формальные грамматики”, Фундамент. и прикл. матем., 1:3 (1995), 729–751
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/fpm100 https://www.mathnet.ru/rus/fpm/v1/i3/p729
|
Статистика просмотров: |
Страница аннотации: | 1089 | PDF полного текста: | 650 | Список литературы: | 68 | Первая страница: | 2 |
|