Формальные грамматики и языки - Гладкий А.В.
Скачать (прямая ссылка):
море, ...}, {лампа, грядка, {вещь, соль, путь, .. {лань, дочь, ...}, {пальто, кофе, какаду, мадам, ...}, {сани, очки,
Скажем далее, что два существительных имеют одинаковые схемы согласования, если с одинаковыми падежно-числовыми формами этих существительных согласуются в точности одни и те же формы прилагательных. Одинаковые схемы согласования имеют, например, существительные дом, гвоздь, путь, кофе\ тигр, конь, какаду дают другую схему согласования и т. д.**).
Нетрудно убедиться теперь, что окрестности двух существительных тогда и только тогда содержатся в одном приведенном классе, когда эти существительные имеют одинаковые схемы склонения и одинаковые схе-мы согласования.
Для прилагательных классы, порождаемые семействами и окрестностями, также не совпадают. Приведенные классы и здесь имеют простую интерпретацию; именно, определив для прилагательных схемы склонения так же, как для существительных, без труда убеждаемся, что две П-окрестности содержатся в одном приведенном классе тогда и только тогда, когда соответствующие лексемы имеют одинаковые схемы склонения***).
*) В последнем примере на первых шести местах парадигмы стоят нули (при традиционной трактовке Pluralia tantum; о возможности другой трактовки см. [Зализняк 1967, стр. 57—61]).
**) Схема согласования определяется, очевидно, родом и одушевленностью (неодушевленностью), так что существительные, имеющие все падежно-числовые формы, дают шесть схем согласования (при традиционной трехродовой системе — ср. [Зализняк 1967, стр. 78—80]).
***) Приведенных П-классов, кажется, только два: {новый, синий, ,.и {большой, прямой, ..
« ПП.З]
ОКРЕСТНОСТИ, КЛАССЫ И ТИПЫ
339
Г-классы устроены проще. Здесь имеет место «локальная однородность»: если в формулировке условия однородности заменить слова «семейство» и «окрестность» на «Г-семейство» и «Г-окрестность» соответственно, то наша модель будет удовлетворять такому условию. Поэтому классы, порождаемые Г-семействами и Г-окрестностями, совпадают; два Г-сегмента принадлежат одному классу (или, безразлично, приведенному классу) тогда и только тогда, когда соответствующие лексемы имеют одинаковые схемы управления.
Обратимся, наконец, к типам. Все существительные образуют один тип — это устанавливается точно так же, как для лексически размеченного языка (V", L", Г") в примере 1. Аналогичным образом легко видеть, что и все прилагательные принадлежат одному типу. Наконец, тип глагола зависит только от того, какими предлогами он может управлять; таким образом, отличие Г-типов от Г-классов сводится к следующему: если два Г-класса различаются только тем, что либо а) глаголы одного из этих классов могут управлять конструкцией (1), а глаголы другого класса не могут, но могут управлять конструкцией (3), либо б) то же с переменой местами конструкций (1) и (3), либо в) глаголы одного класса могут управлять каждой из конструкций (1) и (3), а другого — только одной определенной, то такие классы содержатся в одном типе (так, избегать, любить и ждать попадут в один тип); остальные Г-типы совпадают с Г-клгухами.
Впрочем, 4 отношении Г-типов наш пример не показателен, так как он охватывает слишком мало случаев употребления глаголов. Все приведенные рассмотрения останутся, однако, в силе, если расширить L0, включив туда предложения с другими падежными и предложнопадежными конструкциями (в любом количестве, ограниченном только реальным наличием таких конструкций в языке) и, в частности, предложения с несколькими дополнениями (среди них и такие, где разные дополнения выражены конструкциями с одним и тем же предлогом, ср. знакомится с делами с прошлого года), а также без дополнений; будем считать, что вместе с каждым предложением наш язык включает и все те, которые получаются из него перестановкой дополнений. При этом
12*
340
ЗАМЕЩАЕМОСТЬ
[П. II
принципы выделения семейств, классов и типов не изменятся; для существительных и прилагательных не изменятся и сами семейства, классы и типы. Для глаголов реальные семейства, классы и типы станут другими — не только потому, что добавятся новые глаголы, но и потому, что для многих старых глаголов изменятся схемы управления. Ограничимся описанием Г-типов; ему можно придать следующий вид. Перенумеруем как-нибудь все предлоги: ри ..., ps. Назовем шаблоном управления произвольную упорядоченную систему s + 1 целых неотрицательных чисел и скажем, что шаблон управления (г'о, t'i, ..., is) допускается некоторым глаголом, если хотя бы в одном предложении нашего языка, содержащем этот глагол, имеется точно i0 беспредложных дополнений, ii дополнений с предлогом pit i2 с предлогом рг и т. д. Нетрудно понять, что окрестности двух глаголов содержатся в одном типе тогда и только тогда, когда совпадают множества допускаемых этими глаголами шаблонов управления.
Упражнения
ПП. l.i а) Указать пример бесконечного линейного языка, не имеющего нетривиальной замещаемости (определение см. в упражнении 8.6).
б) Может ли бесконечный ОА-язык не иметь нетривиальной замещаемости?
ПП. 2. Найти полные и приведенные конфигурациочные характеристики следующих языков (в их «наименьших словарях»):
