Упорядочение правил

Все, что было сказано до сих пор, предполагало применение правил грамматики (там, где они применимы) в порядке, соответствующем их номерам. Мы должны рассмотреть этот вопрос подробнее, так как требование того, а не иного порядка применения правил может существенно повлиять на выход грамматики. Рассмотрим следующую систему правил, которая совпадает с приведенной выше, за исключением того, что добавлено новое праеило (4) (правила (4) и (5) представляют собой факультативные правила)'

(1) Σ → NP + VP

(2а) VP → V_intr + Adv

(2b) VP → V_tr + NP

(3) NP → N

(4) N → T + N

(5) N → Adj + N.

Предполагается, что указание T = {the} приводится в прилагаемом словаре. Поскольку правила (4) и (5) факультативны, грамматика породит men, the men, good men и the good men. Ho если бы допускалось применение правила (5) до правила (4), то в качестве грамматически правильных допускались бы такие неприемлемые предложения, как *good the men. Заметим, что существенным является также место правила (3). Если бы оно было помещено перед правилом (2b), его пришлось бы повторить снова после (2b), чтобы обеспечить развертывание тех NP, которые получаются в результате VP → V_tr + NP.

Мы видели, что порядок правил в системах «подстановок» в грамматиках структуры составляющих может быть важным по двум соображениям: он дает возможность избежать порождения неприемлемых последовательностей элементов и позволяет уменьшить число требуемых правил. В определенных случаях при описании грамматической неоднозначности вроде упомянутой выше (см. § 6.1.3) может оказаться желательным допустить, чтобы та или иная группа правил могла применяться в разных порядках. Возьмем, например, факультативное правило, описывающее сочинение существительных в следующей форме:

(6) N → N + and + N.

Если применять это правило перед правилом (5) в данной системе правил, на выходе получатся сочетания типа (old men) and women и men and (old women). Но если оно применяется после правила (5), результатом будут сочетания типа old (men and women). Неоднозначность последовательности old men and women, которая может означать либо (old men) and women, либо old (men and women), можно удовлетворительно описать, таким образом, в терминах различия в относительном порядке употребления правил (5) и (6). Можно заметить, однако, что сочетание со скобками old (men and women), порождаемое посредством применения правила (6) после правила (5), семантически эквивалентно сочетанию (old men) and (old women), которое могло бы быть порождено посредством двукратного применения правила (5) к выходу правила (6).