RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Историческая справка

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Фундамент. и прикл. матем.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Фундамент. и прикл. матем., 1995, том 1, выпуск 3, страницы 729–751 (Mi fpm100)  

Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

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

М. Р. Пентус

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

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

Ключевые слова: исчисление Ламбека, категориальная грамматика, контекстно-свободная грамматика, интерполяционное свойство

Полный текст: PDF файл (844 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:
УДК: 519.766.23
Поступила в редакцию: 01.06.1995

Образец цитирования: М. Р. Пентус, “Исчисление Ламбека и формальные грамматики”, Фундамент. и прикл. матем., 1:3 (1995), 729–751

Цитирование в формате AMSBIB
\RBibitem{Pen95}
\by М.~Р.~Пентус
\paper Исчисление Ламбека и формальные грамматики
\jour Фундамент. и прикл. матем.
\yr 1995
\vol 1
\issue 3
\pages 729--751
\mathnet{http://mi.mathnet.ru/fpm100}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=1788553}
\zmath{https://zbmath.org/?q=an:0865.03028}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/fpm100
  • http://mi.mathnet.ru/rus/fpm/v1/i3/p729

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. С. Л. Кузнецов, “О преобразовании контекстно-свободных грамматик в грамматики Ламбека”, Современные проблемы математики, механики и математической физики, Сборник статей, Тр. МИАН, 290, МАИК «Наука/Интерпериодика», М., 2015, 72–79  mathnet  crossref  elib; S. L. Kuznetsov, “On translating context-free grammars into Lambek grammars”, Proc. Steklov Inst. Math., 290:1 (2015), 63–69  crossref  isi  elib
    2. С. Л. Кузнецов, “О преобразовании грамматик Ламбека с одним делением в контекстно-свободные грамматики”, Современные проблемы математики, механики и математической физики. II, Сборник статей, Тр. МИАН, 294, МАИК «Наука/Интерпериодика», М., 2016, 141–151  mathnet  crossref  mathscinet  elib; S. L. Kuznetsov, “On translating Lambek grammars with one division into context-free grammars”, Proc. Steklov Inst. Math., 294 (2016), 129–138  crossref  isi  elib
  • Фундаментальная и прикладная математика
    Просмотров:
    Эта страница:802
    Полный текст:389
    Литература:31
    Первая стр.:2
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019