Заметим, что Time Adverb 'наречие времени' вводится посредством правила (а) как факультативная составляющая: на ее факультативность указывают скобки. Допустим, что правило (Ь) факультативно; тогда, если правилом «пренебрегают», Time Adverb появится в терминальной цепочке и будет заменено в предложениях посредством yesterday 'вчера' и т. п. С другой стороны, если правило (b) применяется и при этом выбирается Preposition + Time Noun 'предлог + временное существительное', то окончательным результатом будет on Tuesday 'во вторник', in March 'в марте' и т. п. (потребуются также дальнейшие правила, объясняющие появление разных предлогов с разными подклассами «временных существительных», а также порождение last week 'на прошлой неделе' и т. п.). Однако на данном этапе нас интересует выбор Temporal Conjunction + Σ. 'временной союз + Σ'. Выбор этой возможности с соответствующим развертыванием составляющей Σ (предложение) обеспечит описание конструкции вроде when John came in 'когда Джон вошел' (которая будет отнесена к классу Time Adverbial, подобно yesterday или on Tuesday). Структура составляющих, приписанная предложению типа Bill was reading the newspaper when John came in, будет такой, как показано на рис. 11. В результате того, что правая часть правила «подстановки» может включать начальный символ, в грамматику вводится возможность «циклического» применения правил.
Рис. 11.
Свойство цикличности, несомненно, необходимо, чтобы объяснить «включение» предложений (в качестве несамостоятельных предложений или составляющих несамостоятельных предложений) внутрь других предложений; ср.: Не said that... 'Он сказал, что...' или The man who... has just arrived 'Человек, который..., только что приехал'. В то же время ясно, что правила включения предложений, подобные тем, которые здесь упоминались, не учитывают тех особенностей сложных предложений, которые известны под традиционным наименованием «согласования времен» (и таким образом не способны воспрепятствовать порождению таких «предложений», как *Вill was reading the newspaper when John has come in). Мы еще вернемся к этому и смежным вопросам в следующих разделах. Для настоящих целей достаточно было показать, каким образом система «подстановок» в грамматике структуры составляющих могла бы формализовать традиционное разграничение между простыми и сложными предложениями: всякое предложение, порождаемое с помощью группы правил, по крайней мере одно из которых содержит в правой части начальный символ, является сложным предложением; все остальные предложения — простыми.
6.2.11. ФОРМАЛИЗАЦИЯ КОНТЕКСТНО-СВОБОДНЫХ ГРАММАТИК СТРУКТУРЫ НЕПОСРЕДСТВЕННЫХ СОСТАВЛЯЮЩИХ
Все приводимые до сих пор в этом разделе правила структуры составляющих имели общую форму А → В («Замени А на В при синтезе предложений»). О «значениях», принимаемых А и В, не было ничего сказано за исключением того, что первое правило системы должно иметь в качестве А (то есть в левой части) начальный символ Σ (предложение) и что терминальные символы (N, V>tr, V>intr, А и т. д.), встречающиеся в порождаемых грамматикой цепочках, обозначают лексические классы: N = {boy, girl,...}, V>tr = {eat, kill,...}, V>intr = {die, go,...}, Adj = {good, old,...}. Правила вида A → В, заменяющие А на В независимо от контекста А, называются контекстно-свободными правилами. (Мы вернемся к этому вопросу в § 6.5.1.)
В течение последних нескольких лет формальные свойства контекстно-свободных грамматик структуры составляющих подвергались интенсивному изучению. Хомский и другие рассматривали следствия упорядочения правил в системе, допущения как факультативных, так и обязательных правил, введения альтернативных подправил и наличия в системе рекурсивных правил. Кроме того, они отметили, что на значения А и В в правилах вида А → В должны накладываться два важных ограничения, чтобы грамматика, содержащая такие правила, могла приписывать каждому порождаемому предложению единственную структуру: (i) A и В не должны быть тождественными (то есть А не должно заменяться само на себя) и (ii) А должно быть единичным символом, хотя В может быть и обычно бывает цепочкой, содержащей более одного символа. Некоторые ученые использовали грамматики структуры составляющих, которые налагали на В более специфические ограничения, а именно требовали, чтобы В состояло из двух, и только двух, элементов (например: NP + VP или V