А? Х + A + Y; 5) для любой пары символов в грамматике не может одновременно содержаться пара правил: А ? В; В ? А. ься пара правил: А ? В; В ? А. Вывод по Р-правилам может быть представлен в виде дерева. Например: T-правила — это правила подстановки вида А ? В. Если Р-правила переводят одни цепочки в другие, то T-правила переводят одни деревья в другие деревья. T-правила делятся на обязательные (Tob) и факультативные (Topt). Например, Topt: NP+ VP+ Adv ? Adv+ NP+ VP (факультативно наречие из конца предложения может быть перенесено в начало). Левая часть трансформации (T-правила) называется структурным описанием (structural description), правая — структурным изменением (structural change), а сама подстановка — операцией. Операции могут быть элементарными или представлять собой комбинацию элементарных операций. Элементарными операциями являются: 1) добавление (addition); 2) опущение (omission); 3) перестановка (permutation); 4) субституция (substitution). Примеры:
3) Х+ Y+ Z ? X +Z + Y (перестановка) 4) Х+ В + С ? X + D + C, где D может быть только терминальным, т.е. конечным символом. Правила могут комбинироваться. Например: B + C + D ? D + C (перестановка и опущение). Пример применения трансформационного правила (факультативный перенос наречия в начало предложения, см. рис. ниже). Правила оперируют с символами, превращая их в цепочки и деревья. Все символы делятся на основные (словарные) и вспомогательные. Словарные символы состоят из символов классов, которые репрезентируют составляющие высоких рангов — NP, VP и т.д., и морфемных символов, которые представляют собой составляющие низших рангов — man, hit и т.д. Начальный символ S — sentence (предложение), который относится к основным, задается до первого правила, он определяет границы порождающей грамматики. Среди морфемных символов различают символы грамматических морфем (морфемы Pres, Past и т.д.) и символы лексических морфем. Морфемные символы являются конечными, они называются терминальными (лат. termino — ограничивать). Цепочка — это соединение одного или нескольких словарных символов. Вспомогательные символы делятся на переменные символы, для каждого из которых должна быть задана область его применения ( W, У, Z и т.д.), операторы (?, + и т.д.) и символы сокращений, т.е. скобки. Р-правила устанавливают структуры, лежащие в основе языка, а Т-правила изменяют структуры. Предложение, полученное применением Т-правил, называется производным, или выведенным, предложением (derived sentence). Терминальные цепочки имеют абстрактный вид, обязательные трансформации (Тов) превращают их в предложения языка, готовые к фонетической интерпретации. Предложения, полученные в результате применения Р-правил и обязательных Т-правил (и только их), — называются ядерными предложениями (kernel sentences). Если два предложения выведены посредством Т-правил из одного глубинного, их называют родственными (related sentences). Например, родственными являются следующие четыре предложения: — 172 —
|