2015-10-13
304
Все приводимые до сих пор в этом разделе правила структуры составляющих имели общую форму А → В («Замени А на В при синтезе предложений»). О «значениях», принимаемых А и В, не было ничего сказано за исключением того, что первое правило системы должно иметь в качестве А (то есть в левой части) начальный символ Σ (предложение) и что терминальные символы (N, Vtr, Vintr, А и т. д.), встречающиеся в порождаемых грамматикой цепочках, обозначают лексические классы: N = {boy, girl,...}, Vtr = {eat, kill,...}, Vintr = {die, go,...}, Adj = {good, old,...}. Правила вида A → В, заменяющие А на В независимо от контекста А, называются контекстно-свободными правилами. (Мы вернемся к этому вопросу в § 6.5.1.)
В течение последних нескольких лет формальные свойства контекстно-свободных грамматик структуры составляющих подвергались интенсивному изучению. Хомский и другие рассматривали следствия упорядочения правил в системе, допущения как факультативных, так и обязательных правил, введения альтернативных подправил и наличия в системе рекурсивных правил. Кроме того, они отметили, что на значения А и В в правилах вида А → В должны накладываться два важных ограничения, чтобы грамматика, содержащая такие правила, могла приписывать каждому порождаемому предложению единственную структуру: (i) A и В не должны быть тождественными (то есть А не должно заменяться само на себя) и (ii) А должно быть единичным символом, хотя В может быть и обычно бывает цепочкой, содержащей более одного символа. Некоторые ученые использовали грамматики структуры составляющих, которые налагали на В более специфические ограничения, а именно требовали, чтобы В состояло из двух, и только двух, элементов (например: NP + VP или Vtr + N). Более полное объяснение сущности подобных ограничений читатель сможет найти в более специальных работах, указанных в примечаниях.
6.2.12. СИЛЬНАЯ И СЛАБАЯ ЭКВИВАЛЕНТНОСТЬ [42]
Самым важным результатом этого теоретического исследования грамматики (которое позаимствовало многое в исследованиях по формализованным системам логики и математики) явилась демонстрация того, что грамматики структуры составляющих с разными формальными свойствами могут порождать в точности одно и то же множество предложений. Грамматики, которые порождают одно и то же множество предложений, считаются слабо эквивалентными; грамматики, которые не только порождают одни и те же предложения, но и приписывают им одну и ту же структурную характеристику, считаются сильно эквивалентными. Чтобы пояснить различие между слабой и сильной эквивалентностью, рассмотрим грамматики структуры составляющих несколько иного типа но сравнению с теми, которые были рассмотрены выше, а именно «категориальные» грамматики.
6.3. КАТЕГОРИАЛЬНЫЕ ГРАММАТИКИ *
