Категориальная грамматика


Категориальная грамматика

Категориа́льная грамма́тика (К-грамматика, КГ) — формальная грамматика распознающего типа[1], возникшая благодаря деятельности К. Айдукевича, И. Бар-Хиллела и И. Ламбека.

Система типов

В рамках КГ каждой синтаксической единице приписывается категориальное значение, или тип[2]:666. Насчитывается два простых типа: имя (N) и предложение (S), — из которых в результате рекурсии могут быть получены сложные типы. Обозначение единицы сложного типа содержит обозначение некоторого более простого типа, а также указание на то, единицей какого типа следует дополнить данную единицу для получения единицы типа S. Так, в КГ для английского языка непереходный глагол в личной форме, понимаемый как отношение между именем и предложением, получает сложный тип S \backslash NP, что означает, что для получения предложения его следует дополнить подлежащим — именной группой (англ. noun phrase, NP)[2]:667; переходному глаголу присваивается тип (S \backslash NP) / NP, поскольку для его дополнения до предложения требуется сначала присоединить к нему прямое дополнение, а потом подлежащее[2]:669. При этом скобки отражают порядок дополнения, а направление косой черты — линейный порядок следования элементов: если элемент с низшим положением в синтаксической структуре предшествует элементу, занимающему высшее положение, черта наклонена влево, если следует за ним — вправо.

Операции с типами

В варианте КГ, предложенном И. Ламбеком, имеется несколько операций, которые разрешается производить с типами. В их число входят[2]:668, 673—674:

  • аппликация (A) — замена сочетания двух соположенных типов на один тип, допустимая в том случае, если один тип является отношением, а второй соответствует правому элементу первого: Y ~ X \backslash Y \to X, X / Y ~ Y \to X;
  • композиция (C) — приписывание единого сложного типа цепочке из двух сложных типов: A / B ~ B / C \to A / C, A / B ~ B \backslash C \to A \backslash C, B / C ~ A \backslash B \to A / C, B \backslash C ~ A \backslash B \to A \backslash C;
  • подъём типа (англ. type raising, T) — присвоение единице, рядом с которой находится способное присоединить её выражение, типа, позволяющего ей самой присоединить названное выражение: {\color{OliveGreen}A / B} ~ B \to {\color{OliveGreen}A / B} ~ A \backslash (A / B), B ~ {\color{OliveGreen}A \backslash B} \to A / (A \backslash B) ~ {\color{OliveGreen}A \backslash B}[3].

Получение в результате применения допустимых операций символа предложения S означает, что анализируемое предложение грамматически правильно. Так, анализ грамматичного предложения John came 'Джон пришёл', имеющий вид \frac{NP ~ S \backslash NP}{\mathbf S} \mathrm A, заканчивается получением S, а неграмматичное предложение *John came Bill 'Джон пришёл Билла' не может быть успешно проанализировано: \frac{NP ~ S \backslash NP}{\mathbf S} \mathrm A ~ \begin{matrix} NP \\ \mathbf{NP} \end{matrix}[2]:668—669.

Примечания

  1. Мельчук И. А. Грамматика формальная — статья из Большой советской энциклопедии
  2. 1 2 3 4 5 Казенин К. И. Категориальная грамматика // Введение в общий синтаксис / Тестелец Я. Г.. — М.: РГГУ, 2001. — С. 664—692. — 800 с. — 5000 экз. — ISBN 5-7281-0343-X
  3. Цветом выделена единица, не подвергающаяся преобразованию, но требуемая для его выполнения.



Wikimedia Foundation. 2010.

Смотреть что такое "Категориальная грамматика" в других словарях:

  • категориальная грамматика — грамматика, в которой все возможности комбинаций классов слов следуют из исходной разбивки их на категории (напр., на категории имени и глагола). Новый словарь иностранных слов. by EdwART, , 2009 …   Словарь иностранных слов русского языка

  • Грамматика составляющих — Генеративная лингвистика …   Википедия

  • Грамматика зависимостей — Грамматика зависимостей  одна из формальных моделей, разработанных в рамках структурного синтаксиса (наряду с грамматикой составляющих). Представляет строй предложения в виде иерархии компонентов, между которыми установлено отношение… …   Википедия

  • ГРАММАТИКА — формальная общее название нескольких типов исчислений, используемых в математической лингвистике для описания строения естественных языков (а также иек рых искусственных языков, в частности языков программирования). См. Грамматика порождающая,… …   Математическая энциклопедия

  • грамматика — ▲ строение (чего) ↑ фраза, некоторый, естественный язык грамматика формальный строй языка; правила построения фраз. категориальная грамматика. морфология. | релационный …   Идеографический словарь русского языка

  • ГРАММАТИКА КАТЕГОРИАЛЬНАЯ — один из видов формальной грамматики. Т. к. может быть определена как упорядоченная четверка где конечные множества, элементы к рых наз. основными символами и элементарными категориями соответственно; Ф 0 элемент W, называемый главной категорией;… …   Математическая энциклопедия

  • Генеративная грамматика — Эту страницу предлагается переименовать в Порождающая грамматика. Пояснение причин и обсуждение  на странице Википедия:К переименованию/16 сентября 2012. Возможно, её текущее название не соответствует нормам современного русского языка… …   Википедия

  • Падежная грамматика — Падежная грамматика, «ролевая грамматика»  метод описания семантики предложения (за исключением модальных и перформативных элементов) как системы семантических валентностей, в которой значение вершинного глагола диктует роли («падежи»),… …   Википедия

  • Грамматический строй — У этого термина существуют и другие значения, см. Грамматика (значения). Грамматика (от греч. γράμμα  «запись»), грамматический строй (грамматическая система)  совокупность закономерностей какого либо языка, регулирующих правильность… …   Википедия

  • Хомский, Ноам — В Википедии есть статьи о других людях с такой фамилией, см. Хомский. Ноам Хомский Noam Chomsky …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.