СИСТЕМЫ ПОДСТАНОВКИ

Мы можем вначале задать серию правил подстановки (предпо­лагается, что они являются конкатенирующими; ср. §6.6.1) еле- дующего вида:

(1) 2-^NP + VP

(2) VP->V + Adv

(3) NP->A + N.

Каждое из этих правил (за исключением первого) применяется одно за другим к выходу предыдущего правила — так что при подстановке (или «переписывании») ко всякому символу, стоящему в левой части правила, добавляются заключенные в скобки символы, стоящие после стрелки. Тогда выходом правила (1) будет:

S (NP + VP),

посредством применения к нему правила (2) получится:

2 {NP + VP(V + Adv)}

и, наконец, применяя правило (3), мы получим:

2 {NP (А + N) + VP(V + Adv)}.

Иначе говоря, каждое правило заключает в одни скобки состав­ляющие, которые образуют определяемую им конструкцию, и, по­мечая скобки, дает название конструкции; при этом порядок при­менения правил определяет структурные слои. В данном случае результат бы не изменился, если бы правило (3) применялось до правила (2). Но правило (1) должно применяться первым, чтобы получились элементы, требуемые для применения правил (2) и (3). Элемент, стоящий в левой части правила (1) данной грамматики, обозначает конструкцию самого высокого уровня, составляющими которой являются все остальные конструкции, порождаемые грам­матикой. Мы будем называть этот элемент («предложение») началь­ным символом. После применения всех правил, имеющих отношение к порождению определенного типа предложения, грамматика «про­изведет» «цепочку» заключенных в скобки символов (прилагатель­ное, существительное, глагол и т. д.), каждый из которых обозна­чает некоторый класс элементов лексикона. Символы, обозначающие лексические классы, мы будем называть терминальными сим­волами, а цепочки заключенных в скобки терминальных симво­лов — терминальными цепочками. Если теперь заменить каждый из терминальных символов в терминальной цепочке каким-либо членом обозначаемого им лексического класса, мы получим пред­ложение, структура составляющих которого целиком определена правилами, порождающими эту терминальную цепочку.

N = {John, и т. д.}

V = {ran, и т. д.}

А = {poor, и т. д.}

Adv = {away, и т. д.},

приведенная выше грамматика из трех правил будет порождать такие предложения, как Poor John ran away, вместе с их правиль­ной структурой составляющих. Наоборот, имея данное предложе­ние и используя лексикон, организованный более удобным для анализа образом, то есть приблизительно в такой форме, как

away : Adv John : N poor : A ran : V,

мы сможем заменить каждое слово этого предложения символом его класса и затем последовательно обработать его правилами грам- йатики, пройдя по ним скизу вверх и Справа налево до тех пор, пока, благополучно дойдя до начального символа правила (1), мы тем самым не признаем предложение грамматически приемлемым и обладающим определенной структурой составляющих. Следует подчеркнуть, что возможность выбирать направление последова­тельного действия правил связана с тем, что данная грамматика удовлетворяет некоторым общим условиям (которые мы здесь не будем рассматривать; ср. §6.2.11). Независимо от этой частной особенности она нейтральна относительно анализа и синтеза (см. §4.3.1), и она формализует понятие «размеченной скобочной записи» (см. §6.1.3).

6.2.3.