6.2.12. СИЛЬНАЯ И СЛАБАЯ ЭКВИВАЛЕНТНОСТЬ[42]
Самым важным результатом этого теоретического исследования грамматики (которое позаимствовало многое в исследованиях по формализованным системам логики и математики) явилась демонстрация того, что грамматики структуры составляющих с разными формальными свойствами могут порождать в точности одно и то же множество предложений. Грамматики, которые порождают одно и то же множество предложений, считаются слабо эквивалентными; грамматики, которые не только порождают одни и те же предложения, но и приписывают им одну и ту же структурную характеристику, считаются сильно эквивалентными. Чтобы пояснить различие между слабой и сильной эквивалентностью, рассмотрим грамматики структуры составляющих несколько иного типа но сравнению с теми, которые были рассмотрены выше, а именно «категориальные» грамматики.
6.3. КАТЕГОРИАЛЬНЫЕ ГРАММАТИКИ *
6.3.1. ОСНОВНЫЕ И ПРОИЗВОДНЫЕ КАТЕГОРИИ
Категориальные грамматики имеют своим источником труды польского логика Айдукевича (последователя Лесневского); затем они были разработаны Бар-Хиллелом, Ламбеком и другими современными логиками и лингвистами. (Выбор термина «категориальный» в этой связи объясняется частными деталями исторического развития логики и философии, в которые мы здесь не будем вдаваться.)
Категориальная система имеет две основные грамматические категории — предложение и существительное; мы будем изображать их как Σ и n соответственно. Всем лексическим единицам, отличным от существительных, придается производная категориальная классификация в лексиконе в соответствии с их способностью сочетаться друг с другом или с одной из основных категорий в структуре составляющих предложения. Производные категории являются сложными в том смысле, что они указывают одновременно: (i) с какой другой категорией может сочетаться рассматриваемый элемент для образования составляющей предложения и (И) категориальную классификацию составляющей, получающейся в результате этой операции, например: элемент типа run 'бежать' или exist 'существовать' («непереходный глагол») может сочетаться с существительным (в качестве «подлежащего»), образуя предложение, например: John ran 'Джон бежал' (мы продолжаем пренебрегать вопросом глагольного времени и особенностями «согласования»).
6.3.2. «СОКРАЩЕНИЕ»
В «квазиарифметической» системе обозначений Бар-Хиллела категориальная классификация элементов типа run может быть выражена в виде «дроби», знаменатель которой обозначает, с какой другой категорией run и т. п. может сочетаться, а числитель обозначает категорию результирующей конструкции. Таким образом, лексическая классификация элемента run и т. п. как указывает на то, что такие элементы, сочетаясь с существительными, образуют предложения. Если дана такая классификация run, то при условии, что John — это (n), мы знаем, что John ran — грамматически правильное предложение. Можно автоматически установить этот факт посредством простого правила «сокращения», аналогичного арифметическим правилам сокращения; точно так же, как
так и
(то есть мы «сокращаем» числитель и знаменатель, когда они тождественны, и в данном случае остаемся с Σ — символом, указывающим, что это выражение является предложением; точка используется здесь для изображения линейной конкатенации). Но система должна быть также способна отвергнуть как грамматически неправильные такие последовательности, как (Ran John). Мы, таким образом, должны точно указать направление комбинаторной способности элемента — левое или правое. Мы будем обозначать его посредством стрелки, присоединенной к горизонтальной «дробной» линии; таким образом, обозначает элемент, который сочетается с существительным, стоящим слева, образуя предложение, тогда как, скажем, обозначает элемент (например, «прилагательное» типа poor 'бедный', old 'старый' и т. п.), который, сочетаясь с существительным, стоящим справа от него, образует имя (или именную группу).
6.3.3. БОЛЕЕ СЛОЖНЫЕ КАТЕГОРИИ
Производные категории могут иметь в качестве числителя или знаменателя не только основные категории, но также и производные категории. Например, «наречие», сочетаясь с «глаголом», стоящим слева от него, образует «глагол» (или глагольную группу); другими словами, оно сочетается со стоящим слева от него элементом, который, сочетаясь со стоящим слева от него именем, образует предложение (для простоты мы будем рассматривать только «непереходные глаголы» и пренебрегать тем фактом, что «наречия» могут быть также отнесены к другим категориальным классам). Это обозначается «дробью»:
6.3.4. ВОЗМОЖНЫЕ РАСШИРЕНИЯ
Категориальная система, только что описанная нами, сравнительно проста, но для наших целей она достаточно удовлетворительна. Это двунаправленная система в том смысле, что она предусматривает сочетания с элементами слева или справа; мы могли бы расширить ее разными способами (допустив возможность появления двух или более конкатенированных категорий в знаменателе производной категории; допустив возможность одновременного сочетания данного элемента как с элементом, стоящим слева, так и с элементом, стоящим справа, и т. д. — мы здесь не будем вдаваться в последствия такого расширения); с другой стороны, ее можно было бы ограничить (сделать однонаправленной), если допустить возможность сочетаний только в одном определенном направлении. Отметим также, что эта категориальная система, подобно рассмотренной выше системе «подстановок», не пригодна для описания прерывных составляющих (ср. § 6.2.8).
6.3.5. УСЛОВНАЯ ЗАПИСЬ
Здесь мы введем для экономии места условную запись, которая не окажет воздействия на формальные качества системы. Мы будем записывать «дроби» как упорядоченную пару заключенных в скобки символов с числителем на первом месте и знаменателем на втором и стрелкой над знаменателем, указывающей направление. По этому условию run будет характеризоваться как , poor — как , а «наречие» типа away 'прочь'— как .
6.3.6. «КАТЕГОРИАЛЬНЫЙ» АНАЛИЗ СТРУКТУРЫ СОСТАВЛЯЮЩИХ
Теперь мы можем проиллюстрировать действие этой простой двунаправленной категориальной грамматики относительно предложения Блумфилда Poor John ran away. Категориальная классификация всех лексических элементов была приведена выше. Мы запишем их под словами в предложении:
Теперь о «сокращениях». Ясно, что на первой стадии существует три возможности: (1а) «сокращение» poor и John; (1b) John и ran и (lc) ran и away. Если выбрать (lb), то в результате получится:
Это означает, что John ran признается предложением, a poor и away остаются вне предложения и вне описания. Если выбрать (1а), то на следующей стадии мы получим:
Теперь мы имеем две возможности; и ясно, что для того, чтобы проанализировать предложения без остатка, мы должны теперь Сократить ran и away, получив
и, наконец,
(3) Σ.
Или же мы могли сначала объединить ran и away (1с), а затем — poor и John; другими словами, мы могли сокращать те же самые элементы, но в другом порядке.
6.3.7. СОПОСТАВЛЕНИЕ АНАЛИЗА ПО НЕПОСРЕДСТВЕННЫМ СОСТАВЛЯЮЩИМ С КАТЕГОРИАЛЬНЫМ АНАЛИЗОМ
Операция «сокращения» отражает понятие скобочной записи, которое мы рассматривали в этом разделе; ясно, что только что приведенный анализ Poor John ran away соответствует тому, что говорил о структуре этого предложения Блумфилд: что оно состоит из двух непосредственных составляющих — poor John и ran away — и что каждая из них состоит из двух непосредственных составляющих — poor и John, с одной стороны, и ran и away — с другой. Сравним теперь категориальный анализ с анализом в терминах следующих правил «подстановки» (ср. § 6.2.2):
(1) Σ → NP + VP
(2) VP → Vintr + Adv
(3) NP → A + N.
Рис. 12.
Из сложного дерева, приведенного на рис. 12, ясно, что эти две грамматики не только слабо эквивалентны (в том смысле, что они порождают одно и то же множество предложений — тот факт, что мы излагали категориальную систему в форме грамматики «распознавания», а систему «подстановок» в форме грамматики «образования», не релевантен для данного вопроса; ср. §4.3.1), они также эквивалентны в отношении скобочной записи, которую они определяют для предложений типа Poor John ran away. Но они эквивалентны далеко не во всех отношениях. Прежде всего можно отметить, что система «подстановок», кроме четырех терминальных символов, обозначающих лексические классы (N, Vintr, A и Adv), имеет два вспомогательных символа (NP и VP); поэтому, если категориальный анализ утверждает, что poor John представляет собой составляющую той же категории, что и John, a ran away — составляющую той же категории, что и ran, то при анализе при помощи «подстановок» такое утверждение не делается. Однако мы легко можем сделать обе эти системы эквивалентными в отношении данного признака, заменив NP на N и VP на Vintr в правилах «подстановки» (мы не будем вдаваться в дальнейшие импликации данной поправки). Главное различие между этими двумя системами заключается в том, что категориальная грамматика, в отличие от грамматики «подстановок», считает одну из составляющих в каждой конструкции зависящей от другой; условная запись категориальной грамматики показывает, которая из составляющих является зависимой (та, у которой более сложная характеристика), и это имеет принципиальное значение для операции «сокращения». В системе «подстановок» понятие зависимости получает лишь частичное и косвенное отражение: из правила вида N → A + N можно заключить, что А зависит от N, но правило вида Σ → N + Vintr (или Σ → NP + VP) не дает оснований для выводов относительно какой-либо связи или зависимости между двумя составляющими. Это не означает, что категориальная система непременно должна быть лучше, чем система «подстановок», а значит только то, что эти две системы не являются сильно эквивалентными. Могут возникнуть соображения, заставляющие предпочесть один анализ другому; в этом случае мы будем считать, что грамматика, приписывающая предложению предпочтительный анализ, обладает большей силой адекватности по сравнению с другой грамматикой. Это составляет отдельный вопрос, которого мы бегло коснемся ниже (см. § 6.5.7).