Теория формальных грамматик - Гросс М.
Скачать (прямая ссылка):
и еще шесть аналогичных уравнений, соответствующих прочим комбинациям рода и числа.
Легко видеть, что введение подклассов «одушевленное/неодушевленное», «конкретное/абстрактное» и т. п. приведет к еще более значительному возрастанию числа правил типов (А') и (В').
Что же касается трансформационных правил типа (С), то здесь имеется возможность избежать существенного увеличения числа правил. А именно, поскольку на эти правила не наложены заранее никакие формальные ограничения, мы можем видоизменить их весьма естественным способом и притом так, что они будут описывать тот же язык L(А, В), но их число не возрастет.
Превратим (А) в (А"), действуя следующим образом.
Будем приписывать вспомогательным символам индексы, на которые можно ссылаться в правилах. Например, всякому существительному Af мы припишем три индекса — переменные, отвечающие трем противопоставлениям: нарицательное/собственное, мужской/женский (род), единственное/множественное (число). В правиле может фигурировать либо Ar без индексов (или, что то же самое, с «незаполненными» индексами: Nxxx), либо с одним лишь278
П риложЄние
вторым индексом (например, Nx>MymiX), либо с первым и третьим индексами (Л^наРіЖіМН) и т. п. Реальное существительное может быть выбрано из словаря только при условии, что все индексы символа N фиксированы.
В результате мы получим следующие правила:
Ph= Qn Gv
Gn = Artxx Nxxx (переменные индексы при Art и два последних переменных индекса при N — это род и число; первый переменный индекс при N — тип, т. е. нарицательное или собственное),
Gv = VxxGn+ Vxxi связка Adjxx (переменные индексы при V — лицо
и число, «связка» — признак глаголов-связок; переменные индексы при Adj — род и число).
Значения переменных индексов задаются правилами:
тип = нар + соб род = муж + жен число = ед + мн лицо =1+2 + 3 Это дает контекстно-зависимые правила:
AftXX Nсоб, Xi ед = E Nсоб, Л, ед1) (перед именем собственным в ед.
числе артикль не употребляется; впрочем, в действительности закономерности употребления артикля перед именами собственными являются гораздо более сложными),
Artxx Nx, род, число = Artpoll, числ0 NJti род,число (артикль получает род и
число того существительного, перед которым стоит).
Как мы видим, это правило не зависит от типа существительного: оно допускает постановку артикля и перед именами собственными. Получение правильных выражений зависит от достаточно тонкой классификации имен собственных.
NXX, ЧИСЛО VXX = NXX, ЧИСЛО V3, ЧИСЛО
(согласование сказуемого с подлежащим)
Nx, род, число VXX, связка Adjxx = Nx, род, число Vxx, связка Adjp0lli Число
(если сказуемое есть глагол-связка, то прилагательное-предикатив согласуется
с подлежащим).
') E — пустая цепочка. — Прим. перев.Трансформационные грамматики
279
Кроме того, необходимы заключительные (словарные) правила
V3, ед, связка = est + devieilt + ...
V3, „Н, связка = sont + deviennent + . . . Л^муЖ, ед = Ie ЛГ^жеН, ед = ^
Artx, MH = Ies
Nсоб, муж, ед = Oietl
м другие словарные правила, указанные выше, при описании А'.
Выписанные здесь контекстно-зависимые правила не подходят под определение НС-правил из п. 12.1.2. В самом деле, они не описывают подстановок в цепочках символов, а задают значения переменных индексов при символах, используя информацию, содержащуюся в индексах при одном из них (при N). Благодаря этому правило (Cl) сохраняется в неизмененном виде, — если условиться, что символ N в (Cl) понимается как N с какими угодно индексами. Видоизменив (С2) следующим образом:'
(С'2) : XN qui Kxx, связка Adj V -> XN Adj У,
мы также покроем все нужные случаи
Введение переменных индексов позволяет упростить трансформационную грамматику по крайней мере в силу двух следующих факторов:
— мы используем контекстно-зависимые правила с переменными индексами, а это выводит собственно порождающий компонент грамматики за рамки класса КС-грамматик;
— трансформации могут применяться независимо от тех или иных индексов. Это обеспечивает возможность существенного обобщения трансформационных правил и одновременно позволяет выразить в явной форме тот факт, что тип, род, число и лицо являются независимыми параметрами (с помощью КС-правил выразить этот факт невозможно).
В КС-грамматиках всякая более тонкая классификация влечет за собой увеличение числа правил; каждый раз, когда в описание вводится новый параметр, требуется пересмотреть всю КС-грамматику. Если же мы пользуемся трансформационной грамматикой, то подобные усовершенствования предполагают изменение только контекстно-зависимых правил компонента (Л") и не затрагивают трансформационных правил').
') Развиваемая здесь аргументация «против КС-грамматики» представляется малоубедительной, поскольку «расщепление» правил, вызванное необходимостью обеспечить согласование, вряд ли вообще следует рассматривать как недостаток. Для сокращенной записи таких «расщепленных» правил можно воспользоваться схемами правил (аналогичными используемым в математической логике схемам280