Формальные грамматики и языки - Гладкий А.В.
Скачать (прямая ссылка):
**) Равно как и множественного.
336
ЗАМЕЩАЕМОСТЬ
[П. II
Легко заметить, что однородность для (У0, Ы, Го) не имеет места: например, окрестности С-сегментов дом и тигр пересекаются с семейством {дому, тигру, ..но семейство {дом, ...}, пересекающееся с первой из этих окрестностей, не пересекается со второй (т. е. С-сегмент дом не взаимозамещаем ни с одной формой лексемы тигр)\ аналогично ведут себя окрестности С-сегментов окно и поле *).
Легко видеть, далее, что П-сегменты s и s' взаимо-замещаемы тогда и только тогда, когда s занимает в своей парадигме в точности те места, которые s'занимает в своей. Так, новый и синий, новых и больших взаи-мозамещаемы, а новый и синяя, новый и большой—нет.
Чтобы описать Г-семейства, введем следующее понятие. Скажем, что два глагола (Г-лексемы) имеют одинаковые схемы управления, если среди тех пяти падежных и предложно-падежных конструкций, которые встречаются в наших предложениях ((1) род. пад. без предлога; (2) к + дат. пад.; (3) вин. пад. без предлога; (4) с + тв. пад.; (5) о + предл. пад.), эти глаголы могут управлять в точности одними и теми же**). Одинаковые схемы управления имеют, например, глаголы знакомиться и соглашаться (управляют конструкцией (4)), вспоминать и забывать (управляют конструкциями (3) и (5)). Легко убедиться теперь, что два Г-сегмента тог-
*) Несколько расширив модель, можно устранить взаимозаме-щаемость С-сегментов дому и тигру и вообще форм неодушевленных существительных с формами одушевленных; достаточно добавить предложения типа Он идет к дому, который все видели (... к тигру, которого........к домам, один из которых...........к тиграм, од-
ного из которых ...). В то же время окну и полю останутся, видимо, взаимозамещаемыми при добавлении любых правильных предложений. (Аналогично мышь и мышка при отсутствии взаимозамещаемо-сти мыши и мышки и т. п.) Поэтому действительным источником неоднородности можно считать наличие существительных, одинаково согласующихся (т. е. не различающихся родом и одушевленностью), но по-разному склоняющихся (т. е. имеющих разные схемы склонения— см. ниже), а также по-разному склоняющихся прилагательных (как новый и большой — см. ниже).
**) Говоря, что глагол может управлять той или иной конструкцией, мы подразумеваем, что он может ею управлять при отсутствии других дополнений (так как в L0 нет предложений более чем с одним дополнением). Например, глагол направлять мы не считаем управляющим конструкцией (2), поскольку нельзя сказать * Он направляет к береги, хотя и можно Он направляет лодку к берегу.
§ ПП.З]
ОКРЕСТНОСТИ, КЛАССЫ И .ТИПЫ
337
да и только тогда взаимозамещаемы, когда они занимают в своих парадигмах одинаковые места *) и соответствующие лексемы имеют одинаковые схемы управления.
Переходя к классам, сразу видим, что С-семейства и С-окрестности порождают, вообще говоря, разные классы. Так, класс х, порождаемый окрестностью у = {дом, дома, ...}, не порождается никаким семейством. (В самом деле,- семейство, порождающее х, пересекалось бы с у; непосредственным перебором пересекающихся с у семейств— их имеется 10 — нетрудно убедиться, что ни одно из них не может порождать х. Например, класс, порождаемый семейством Oi ={дом, гвоздь, ...}, не пере* секается с окрестностью у'={тигр, тигра, ...}, тогда как класс х с ней пересекается, поскольку он содержит семейство оз={дому, гвоздю, тигру, ...}; в свою очередь, класс, порождаемый семейством оз, содержит окрестность у', но х ее не содержит, так как тигр ф х. Для остальных семейств аналогично.) Нас будут интересовать С-классы, порождаемые семействами. Каждый из вышеприведенных примеров С-семейств сразу дает пример такого класса, нужно только собрать вместе все формы тех существительных, для которых одна какая-нибудь форма входит в данное семейство. Эти примеры показывают, в частности, что класс, порожденный С-се-мейством, м^окет быть собственной частью другого такого класса. Возможно и частичное пересечение (например, классы, порождаемые семействами {поле, чудовище, ..;} и {окна, поля, ...}). Определим на У0 следующее отношение Р: sPs' тогда и только тогда, когда любой класс, порождаемый семейством, либо одновременно содержит, либо одновременно не содержит s и s'. Это отношение является, очевидно, эквивалентностью; подмножества (классы эквивалентности), на которые оно разбивает Уо> мы назовем приведенными классами. Ясно, что всякий приведенный класс есть объединение окрестностей. Приведенные С-классы имеют весьма простой содержательный смысл; чтобы выяснить его, введем два новых понятия.
*) Г-сегмепт может занимать в парадигме только одно место. 12 А. В. Гладкий
338
ЗАМЕЩАЕМОСТЬ
[П. И
Будем говорить, что два существительных (С-лексе-мы) с парадигмами («ь •••, S12) и (sj, S12) имеют одинаковые схемы склонения, если: а) тогда и только тогда sf = 0, когда s'i = 0; б) тогда и только тогда Si=Sj, когда s'i=sj. Например, существительные дом, гвоздь, ведро, дерево имеют одинаковые схемы склонения. Другая схема склонения представлена словами тигр, конь. Еще примеры схем склонения: {поле,
