Формальные грамматики и языки - Гладкий А.В.
Скачать (прямая ссылка):
3) все предложения, получаемые из имеющихся после шага 2) заменой форм глаголов, кроме есть и понравился (-ась, -ось), соответствующими формами любых других глаголов, для которых это возможно без нарушения грамматической правильности;
*) При этом следовало бы перейти от орфографической записи к акцентуированной орфографической [Зализняк 1967, стр. 9], т. е. обозначать ударение, иначе такие формы, как окна и окна, будут совпадать, что для наших целей нежелательно. Для простоты мы будем, однако, ставить знак ударения лишь там, где без него возможна путаница.
**) Мы могли бы обойтись здесь без таких понятий, как существительное, прилагательное, число, падеж и т. п. (ср. стр. 314), но тогда пришлось бы задавать предложения списком. Поскольку наш пример носит чисто иллюстративный характер, мы ради удобства изложения разрешаем себе использование указанных понятий.
***) При этом мы считаем тождественными Л 3-сегменты о и об (фонетически обусловленные варианты предлога).
334
ЗАМЕЩАЕМОСТЬ
[П. II
4) все предложения, получаемые из имеющихся после шага 3) заменой местоимения он на я, ты, мы, вы, они соответственно, с одновременным изменением форм глаголов, обеспечивающим сохранение грамматической правильности.
Одновременно расширим словарь, добавляя к нему все слова, встречающиеся в новых предложениях; окрестности доопределим естественным образом, причем такие ЛЗ-сегменты, как стол и столы, новый и новые, идет и идут, будем относить каждый раз к одной окрестности*), в одну окрестность объединим также все личные местоимения.
Мы построили, таким образом, еще один лексически размеченный язык — пусть это будет (V0, L0, Г0). Посмотрим, как выглядят в нем семейства, классы и типы.
ЛЗ-сегменты, входящие в Vo, можно разделить на «типовые» (формы существительных, прилагательных и глаголов, кроме есть и понравился, -ась, -ось) и «изолированные» (все прочие). Для каждого из «изолированных» ЛЗ-сегментов непосредственно ясно, что он не взаимозамещаем ни с каким другим, т. е. образует одноэлементное семейство. Ясно также, что форма существительного, прилагательного или глагола может быть замещаема только на форму существительного же, прилагательного и глагола соответственно. Учитывая это замечание, найдем семейства «типовых» ЛЗ-сегментов.
Пусть S — некоторая окрестность существительного. Назовем «парадигмой» окрестности S упорядоченную систему двенадцати ЛЗ-сегментов из S: (slt ..., si2), в которой на первом месте стоит форма именительного падежа единственного числа данного существительного, на втором — форма родительного падежа единственного числа, ..., на двенадцатом — форма предложного падежа множественного числа. Если данное существительное не имеет каких-либо падежно-числовых форм, на соответствующих местах парадигмы будем ставить 0. Аналогично определим парадигму окрестности прилагательного (состоящую из 72 родо-падежно-число-«одушевленност-
*) Для существительных это не единственный содержательно естественный способ выделения окрестностей — иногда такие формы, как стол и столы, относят к разным лексемам. См. об этом [Зализняк 1967, стр. 55—57].
§ ПП.З]
ОКРЕСТНОСТИ, КЛАССЫ И ТИПЫ
335
ных» форм) и окрестности глагола (состоящую из 6 лично-числовых форм настоящего времени) *).
Для краткости мы будем называть ЛЗ-сегменты, являющиеся формами существительных, прилагательных и глаголов, С-сегментами, П-сегментами и Г-сегментами соответственно. Будем говорить также о С-, П- и Г-семействах, С-, П- и Г-окрестностях и т. д.
Теперь нетрудно проверить (это предоставляется читателю), что С-сегменты s и s', относящиеся к лексемам S и S' соответственно, тогда и только тогда взаимозаме-щаемы, когда выполняются следующие два условия: a) s занимает в своей парадигме все те и только те места, которые s' занимает в своей; б) для каждой падежно-числовой формы лексемы S, реализуемой ЛЗ-сег-ментом s, множество согласующихся с этой формой П-сегментов то же самое, что и для соответствующей формы лексемы S'.
Например, С-сегменты окно и здание взаимозамещае-мы. С-сегменты окно и поле не взаимозамещаемы, так как не выполнено условие а): С-сегмент поле занимает в своей парадигме, в частности, шестое место, тогда как окно в своей парадигме этого места не занимает (так что поле нельзя заменить на окно в предложении Он говорит о новом поле, которое всем понравилось). Для С-сегментов^портье и кофе условие а) выполнено (оба они занимают в своих парадигмах все места), но не выполнено условие б): множества П-сегментов, согласующихся с формами винительного падежа единственного **) числа соответствующих лексем, различны (и поэтому портье нельзя заменить на кофе в Он любит нового портье, который всем понравился).
Среди С-семейств будут, например, такие, как {дом, гвоздь, .. .}, {дома, гвоздя, ...}, {дома, гвозди, ...}, {тигр, конь, ...}, {тигра, коня, ..{тигры, кони, ...}, {дому, гвоздю, тигру, коню, ..{окна, ведра, ...}, {здания, решения,...}, {окно, ведро, здание, решение,..
*) Для простоты мы считаем, что, например, для существительного каждая падежно-числовая форма реализуется единственным образом, хотя на самом деле это не всегда так (ср. лампой и лампою); если возможны разные (свободные) варианты, будем предполагать, что выбран «более регулярный» (лампой, а не лампою).
