Теория формальных грамматик - Гросс М.
Скачать (прямая ссылка):
Формализация лингвистических описаний должна повести к выявлению новых закономерностей и к формулировке весьма общих правил, допускающих как можно меньше исключений. Благодаря формализации станет возможным сравнение грамматик самых разных по строению языков и выявление стоящих за ними универсальных механизмов, допускающих математическое исследование.
С практической точки зрения создание достаточно полных формализованных грамматик необходимо для различных направлений той научной области, которая известна под названием «автоматическая обработка информации», например для автоматического
') Правильнее было бы сказать: «так или иначе восходят к естественному языку»? — Прим. ред. Трансформационные грамматики
273
анализа и синтеза текстов с помощью электронных вычислительных машин.
С начала 50-х годов исследования, направленные на создание формализованных лингвистических описаний, которые опирались бы на богатый фактический материал, велись весьма интенсивно. В ходе этих исследований выяснилось, в частности, что в плане описания синтаксических явлений естественного языка комбинаторные системы, рассмотренные в настоящей книге, обладают рядом недостатков, объясняющихся, прежде всего, недостаточной спе-циализированностыо названных систем. Это привело к созданию еще одного способа описания синтаксиса, известного под именем «трансформационного анализа» (см. Хэррис [1952], [1957], [1964]; Хомский [1957], [1962], [1965]).
Основная идея трансформационного анализа состоит в следующем. Всякая фраза (предложение) естественного языка может быть описана как состоящая из некоторого числа простых фраз (предложений), называемых ядерными (англ. kernel sentences), из которых данная фраза образуется посредством определенных операций — так называемых трансформаций. Ядерные фразы распадаются в свою очередь на еще более простые элементы — слова (= словоформы) или, быть может, корни и аффиксы. (В действительности простейшими единицами, или атомами, подобного описания являются не реальные слова или корни и аффиксы, а некоторые более абстрактные сущности, определяемые так, чтобы обеспечить максимальную компактность и единообразие описаний при минимальном числе этих атомов.)
Необходимо подчеркнуть, что указанный подход представляет собой вполне традиционный научный прием описания явлений природы. Любопытно, что близкий к этому метод широко применялся в так называемых рациональных, или логических, грамматиках 17 и 18 веков, но позже был отвергнут и практически изгнан из лингвистики на двести лет, несмотря на то, что выдвигавшиеся против него аргументы носили крайне сомнительный характер.
Вот пример трансформации, четко изложенной в знаменитой «Грамматике Пор-Рояля» А. Арно и К. Лансело (1660 г.). Фраза
(1) Dieu invisible а сгёё Ie monde visible 'Невидимый бог создал видимый мир',
анализируется следующим образом:
(2) Dieu qui est invisible а сгёё Ie monde qui est visible 'Бог, который является невидимым, создал мир, который является видимым'.
(3) (i) Dieu а сгёё Ie monde 'Бог создал мир'.
(H) Dieu est invisible 'Бог является невидимым', (iii) Le monde est visible 'Мир является видимым'.
Таким образом,
(3) — это совокупность трех ядерных фраз; 274
П риложЄние
(2) состоит из основной ядерной фразы (англ. matrix sentence) (Зі), в которую вставлены фразы (Зіі) и (Зііі). Операция, посредством которой выполнено это вставление, есть трансформация;
(1) получена из (2) особой трансформацией элиминации (qui est invisible invisible).
Преимущество такого описания становится очевидным, если сравнить его, например, с описанием (повсеместно принятым в лингвистике) в терминах КС-грамматики.
§ 2. кс-грамматики и трансформации
Рассмотрим следующее множество правил, записанных в виде уравнений (по существу это КС-грамматика):
Ph = Gn Gv
Gn = Art Nmp + Nco6
Gv = V Gn+ est Adj
Art = Ie
(Л)1) : т/
V = а сгее
Nmp — monde
Nco6 = Dieu
Adj = visible + invisible
Nmp обозначает нарицательное существительное, NC06 — имя собственное; значения остальных символов пояснены на стр. 114.
КС-грамматика (Л) порождает 8 фраз, которые можно представить формулой
(Dieu + Ie monde) (а сгёё (Dieu + Ie monde) + est (visible+ + invisible)).
№: здесь скобки использованы, разумеется, не для того, чтобы показать структуру, а просто для записи произведения.
Чтобы получить фразы (1) и (2), необходимо добавить к (Л) правила, вводящие определения к существительным:
(Bl) Gn = Art Nliap Adj+ Nco6 Adj
(определения-прилагательные)
( ' 1 (В2) Gn = Art А'нар qui Gv+ Nco6 qui Gv
(определительные придаточные)
В грамматике (А, В) имеются циклические правила, вследствие чего она порождает бесконечное множество фраз, содержащих определительные придаточные, последовательно вставляемые одно в другое (qui Gv в правой части правила (#2)).
заключительные, или словарные, правила
') Знак + здесь и ниже означает разделительное «или». — Прим. перев. Трансформационные грамматики
275
