Формальные свойства грамматик - Хомский Н.
Формальные свойства грамматик
Автор: Хомский Н.Издательство: Москва
Год издания: 1963
Страницы: 100
Читать: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45
Скачать:
ФОРМАЛЬНЫЕ СВОЙСТВА ГРАММАТИК 1J
Н. Хомский
Предлагаемая ниже теория лингвистической структуры, частично уже рассмотренная в предыдущей главе2), должна точно определять класс допустимых предложений класс допустимых грамматик и класс допустимых структурных описаний, а также должна давать фиксированный и единообразный метод приписывания одного или нескольких структурных описаний каждому предложению, порождаемому грамматиками допустимого класса. В предыдущей главе нами были предложены две концепции лингвистической структуры — теория грамматик непосредственных состяндатшиу и теория трансформационных грамматик, которые обе удовлетворяют этим минимальным требованиям. Было отмечено, что эмпирическая неадекватность теории грамматик непосредственных составляющих совершенно очевидна; поэтому не предпринималось никаких основательных попыток широкого применения ее к лингвистическим данным. Напротив, теория трансформационных грамматик (как
о том свидетельствует все возрастающее число весьма существенных данных) может дать нам достаточно точную картину грамматической структуры языка (см. работу [12] и библиографические ссылки к ней).
Тем не менее имеются серьезные основания интенсивно продолжать изучение теории грамматик непосредственных составляющих. Как отмечено в предыдущей главе, эта теория вполне адекватно отражает некоторые важные аспекты грамматической структуры и, следовательно, в какой-то мере она, безусловно, является эмпирически мотивированной. Далее, это единственная хоть сколько-нибудь лингвистически значимая теория грамматики, которая настолько проста, что возможно изучение ее абстрактных свойств. По-видимому, углубленное изучение порождающих систем этого вида, так же как и описываемых ими языков, является необходимой предпосылкой любой попытки серьезно подойти к вопросам,
1J ChomskyN., Formal properties of grammars. Handbook of Mathematical Psychology, vol. 2, ch. 12, Wiley, 1963, 328—41 S.
2) Речь идет о гл. 11 этой же книги. Русский перевод этой главы поме-
щен в предыдущем выпуске настоящего сборника (X о м с к н й H., Мил-
лер А., Введение в формальное изучение естественных языков, стр. 229).
Гл. 13 также посвящена математической лингвистике и тесно связана с гл.
11 и 12; ее перевод будет помещен в одном из следующих выпусков настоя-
щего сборника.— Прим. перев.
8 Заказ № 563
121
Н. Хомский
касающимся формальных свойств более богатых и гораздо более СЛОЖНЫХ систем, которые действительно позволяют надеяться достигнуть эмпирической адекватности в широком масштабе. В настоящее время это та самая область, где изучение математических моделей имеет наибольшие шансы оказаться плодотворным и дать значительное проникновение в лингвистическую структуру н лингвистические способности носителя языка.
В соответствии с терминологией предыдущей главы мы должны различать слабую порождающую способность теории лингвистической структуры (т. е. множество языков, перечисляемых грамматиками вида, определяемого этой теорией) и ее сильную порождающую способность (множество структурных описаний, перечисляемых допустимыми грамматиками). Здесь мы в основном ограничимся рассмотрением слабой порождающей способности по той простой причине, что за малым исключением это единственная область, где были получены существенные результаты математического характера. В конечном счете интерес, несомненно, представляет изучение сильной порождающей способности теорий, подтвержденных и проверенных опытом, а не изучение слабой порождающей способности теорий, ценность которых в лучшем случае предположительна.
Важно, чтобы технические детали математического исследования не заслонили основное назначение этих теорий — лингвистическую значимость и соответствие опытным данным. Мы хотим заполнить пробел между моделями, доступными математическому изучению, и моделями, подтвержденными опытными данными, HO для этого прежде всего необходимо ясно отдавать себе отчет в существовании и характере этого пробела. Поэтому, в частности, было бы большой ошибкой предполагать, что богатство и сложность порождающих механизмов, допускаемых какой-либо теорией, может измеряться слабой порождающей способностью этой теории. Действительно, может оказаться, что корректная теория грамматик позволит порождать широкий класс языков, но весьма бедный класс систем структурных описаний; иначе говоря, она будет иметь высокую слабую порождающую способность, но низкую сильную порождающую способность. Поэтому иерархия теорий, описываемая в этой работе в терминах слабой порождающей способности, ни в коем случае не должна быть интерпретирована как дающая серьезную оценку богатства и сложности предлагаемых теорий.
I. Абстрактные автоматы
1.1. Отражение языковых способностей носителей языка
В самом начале предыдущей главы были поставлены проблемы построения моделей, представляющих а) различные аспекты языковых способностей человека, говорящего на каком-лнбо языке,
Формальные свойства грамматик
123
и б) различные аспекты его поведения при пользовании этими способностями. Вторая задача имеет дело с реальными действиями говорящего или слушающего — носителя данного языка; первая касается его знаний об этом языке. Психологам давно известно, что описание того, что делает организм, и описание того, что этот организм знает,— далеко не всегда одно и то же ([38], стр. 553; [75], стр. 364). Порождающая грамматика, приписывающая структурные описания бесконечному классу предложений, может рассматриваться как частичная теория того, что знает взрослый носитель языка. Она ни в коей мере не ставит себе целью описывать его реальные действия в качестве говорящего нли слушающего. Тем не меиее вряд ли можно надеяться разработать разумную теорию актуального речевого поведения иначе, как на основе серьезного и глубокого изучения того, что же знает о языке его носитель.
