В определенных пределах грамматика структуры составляющих способна описывать образование сложных, так же как и простых предложений (о традиционном разграничении сложных и простых предложений см. § 5.2.6). Например, такое предложение, как Bill was reading the newspaper when John arrived 'Билл читал газету, когда приехал Джон', может быть порождено системой правил «подстановки», которая включала бы следующие правила (а также другие, которые мы для простоты опускаем):
Заметим, что 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. В результате того, что правая часть правила «подстановки» может включать начальный символ, в грамматику вводится возможность «циклического» применения правил.
Свойство цикличности, несомненно, необходимо, чтобы объяснить «включение» предложений (в качестве несамостоятельных предложений или составляющих несамостоятельных предложений) внутрь других предложений; ср.: Не said that... 'Он сказал, что...' или The man who... has just arrived 'Человек, который..., только что приехал'. В то же время ясно, что правила включения предложений, подобные тем, которые здесь упоминались, не учитывают тех особенностей сложных предложений, которые известны под традиционным наименованием «согласования времен» (и таким образом не способны воспрепятствовать порождению таких «предложений», как *Вill was reading the newspaper when John has come in). Мы еще вернемся к этому и смежным вопросам в следующих разделах. Для настоящих целей достаточно было показать, каким образом система «подстановок» в грамматике структуры составляющих могла бы формализовать традиционное разграничение между простыми и сложными предложениями: всякое предложение, порождаемое с помощью группы правил, по крайней мере одно из которых содержит в правой части начальный символ, является сложным предложением; все остальные предложения —
6.2.11. ФОРМАЛИЗАЦИЯ КОНТЕКСТНО-СВОБОДНЫХ ГРАММАТИК СТРУКТУРЫ НЕПОСРЕДСТВЕННЫХ СОСТАВЛЯЮЩИХ
Все приводимые до сих пор в этом разделе правила структуры составляющих имели общую форму А > В («Замени А на В при синтезе предложений»). О «значениях», принимаемых А и В, не было ничего сказано за исключением того, что первое правило системы должно иметь в качестве А (то есть в левой части) начальный символ ? (предложение) и что терминальные символы (N, Vtr, Vintr, А и т. д.), встречающиеся в порождаемых грамматикой цепочках, обозначают лексические классы: N = {boy, girl,...}, Vtr = {eat, kill,...}, Vintr = {die, go,...}, Adj = {good, old,...}. Правила вида A > В, заменяющие А на В независимо от контекста А, называются
В течение последних нескольких лет формальные свойства контекстно-свободных грамматик структуры составляющих подвергались интенсивному изучению. Хомский и другие рассматривали следствия упорядочения правил в системе, допущения как факультативных, так и обязательных правил, введения альтернативных подправил и наличия в системе рекурсивных правил. Кроме того, они отметили, что на значения А и В в правилах вида А > В должны накладываться два важных ограничения, чтобы грамматика, содержащая такие правила, могла приписывать каждому порождаемому предложению единственную структуру: (i) A и В не должны быть тождественными (то есть А не должно заменяться само на себя) и (ii) А должно быть единичным символом, хотя В может быть и обычно бывает цепочкой, содержащей более одного символа. Некоторые ученые использовали грамматики структуры составляющих, которые налагали на В более специфические ограничения, а именно требовали, чтобы В состояло из двух, и только двух, элементов (например: NP + VP или Vtr + N). Более полное объяснение сущности подобных ограничений читатель сможет найти в более специальных работах, указанных в примечаниях.
6.2.12. СИЛЬНАЯ И СЛАБАЯ ЭКВИВАЛЕНТНОСТЬ[42]
Самым важным результатом этого теоретического исследования грамматики (которое позаимствовало многое в исследованиях по формализованным системам логики и математики) явилась демонстрация того, что грамматики структуры составляющих с разными формальными свойствами могут порождать в точности одно и то же множество предложений. Грамматики, которые порождают одно и то же множество предложений, считаются
6.3. КАТЕГОРИАЛЬНЫЕ ГРАММАТИКИ *
6.3.1. ОСНОВНЫЕ И ПРОИЗВОДНЫЕ КАТЕГОРИИ
Категориальные грамматики имеют своим источником труды польского логика Айдукевича (последователя Лесневского); затем они были разработаны Бар-Хиллелом, Ламбеком и другими современными логиками и лингвистами. (Выбор термина «категориальный» в этой связи объясняется частными деталями исторического развития логики и философии, в которые мы здесь не будем вдаваться.)
Категориальная система имеет две
