Сопоставление анализа по непосредственным составляющим с категориальным анализом

Операция «сокращения» отражает понятие скобочной записи, которое мы рассматривали в этом разделе; ясно, что только что приведенный анализ Poor John ran away соответствует тому, что говорил о структуре этого предложения Блумфилд: что оно состоит из двух непосредственных составляющих — poor John и ran away — и что каждая из них состоит из двух непосредственных составляющих — poor и John, с одной стороны, и ran и away — с другой. Сравним теперь категориальный анализ с анализом в терминах следующих правил «подстановки» (ср. § 6.2.2):

(1) Σ → NP + VP

(2) VP → V_intr + Adv

(3) NP → A + N.

Рис. 12.

Из сложного дерева, приведенного на рис. 12, ясно, что эти две грамматики не только слабо эквивалентны (в том смысле, что они порождают одно и то же множество предложений — тот факт, что мы излагали категориальную систему в форме грамматики «распознавания», а систему «подстановок» в форме грамматики «образования», не релевантен для данного вопроса; ср. §4.3.1), они также эквивалентны в отношении скобочной записи, которую они определяют для предложений типа Poor John ran away. Но они эквивалентны далеко не во всех отношениях. Прежде всего можно отметить, что система «подстановок», кроме четырех терминальных символов, обозначающих лексические классы (N, V_intr, A и Adv), имеет два вспомогательных символа (NP и VP); поэтому, если категориальный анализ утверждает, что poor John представляет собой составляющую той же категории, что и John, a ran away — составляющую той же категории, что и ran, то при анализе при помощи «подстановок» такое утверждение не делается. Однако мы легко можем сделать обе эти системы эквивалентными в отношении данного признака, заменив NP на N и VP на V_intr в правилах «подстановки» (мы не будем вдаваться в дальнейшие импликации данной поправки). Главное различие между этими двумя системами заключается в том, что категориальная грамматика, в отличие от грамматики «подстановок», считает одну из составляющих в каждой конструкции зависящей от другой; условная запись категориальной грамматики показывает, которая из составляющих является зависимой (та, у которой более сложная характеристика), и это имеет принципиальное значение для операции «сокращения». В системе «подстановок» понятие зависимости получает лишь частичное и косвенное отражение: из правила вида N → A + N можно заключить, что А зависит от N, но правило вида Σ → N + V_intr (или Σ → NP + VP) не дает оснований для выводов относительно какой-либо связи или зависимости между двумя составляющими. Это не означает, что категориальная система непременно должна быть лучше, чем система «подстановок», а значит только то, что эти две системы не являются сильно эквивалентными. Могут возникнуть соображения, заставляющие предпочесть один анализ другому; в этом случае мы будем считать, что грамматика, приписывающая предложению предпочтительный анализ, обладает большей силой адекватности по сравнению с другой грамматикой. Это составляет отдельный вопрос, которого мы бегло коснемся ниже (см. § 6.5.7).