Введение в общую теорию языковых моделей

С точки зрения последовательного формализма, семейство слов вовсе не есть семейство слов одной и той же категории, потому что термин «категория» уже вносит момент содержания и делает формальную характеристику неясной. Можно, впрочем, оставить термин «категория» и без внесения в него какого-нибудь определенного смысла и обозначать его какими-нибудь внеморфемными символами А, В, С и т.д. В каждую такую категорию будут действительно входить какие угодно слова. Но само это выражение «какие угодно» тоже отнюдь не бессмысленно, но означает нечто определенное. Получатся и категории с каким угодно значением и подпадающие под них слова тоже с каким угодно значением. Пусть такой общей категорией явится для нас наличие в слове звука А выступающее в нем единственный раз. Тогда под эту категорию попадет бесчисленное количество слов, т.к. слов, содержащих в себе звук А только единственный раз, практически действительно существует бесчисленное количество. И множество всех таких слов будет представлять собой самую настоящую единораздельную цельность, т.е. будет обладать определенной структурой и будет являться определенной моделью. Правда, такая структура и такая модель, буду безморфемными, не будут иметь никакого отношения к языку, и наука о них не будет языкознанием. Тем не менее это будет очень точная наука и, попросту говоря, математика, стоит только все эти слова, подпадающие под данную категорию, и все подобного рода категории, обозначать буквами. Это нисколько не бессмысленно, а, наоборот, выражено максимально точно, как и для таблицы умножения вовсе необязательно, чтобы мы ее применяли только к яблокам или к огурцам, но она имеет значение сама по себе.

Равным образом и при определении эквивалентности слов при помощи их эквивалентных окружений тоже нет никакой нужды базироваться на морфемном анализе. Возьмем не предложение, но систему каких угодно отношений между словами, пусть хотя бы отношения эти и были бессмысленными. И пусть входящие сюда слова являются комплексами каких угодно звуков, о морфемном характере которых не ставится и вопроса. Другими словами, пусть у нас будут только бессмысленные звуки, бессмысленные комплексы звуков и бессмысленные отношения между этими комплексами. Все равно выражение «А имеет такое-то (или вообще какое угодно) отношение к В» имеет вполне определенный смысл, только не нужно вносить какое-нибудь специфическое содержание в символы А и В и в термин «отношение». Имея такую фразу «А имеет отношение к В», мы можем подыскать любое количество фраз, обладающих такой же структурой. И это будут вполне эквивалентные между собою фразы. Мы можем такого рода фразу расширить каким-нибудь дополнением. Но ввиду содержательной бессмысленности подобного рода фраз необходимо тут же признать, что наше дополнение может быть каким угодно и отношение его к данной фразовой структуре тоже может быть каким угодно. И все эти какие угодно дополнения и отношения будут иметь у нас точнейший формальный смысл, потому что термины «какое угодно» или «как угодно» являются терминами вполне осмысленными и подчиненные им отношения равно как и основанные на них структуры будут вполне эквивалентны. Таким образом, определение семейства слов не связано прямым образом с морфемным анализом; и определяем ли мы его как класс каких угодно слов, относящихся к какой угодно категории, или определяем его через эквивалентность относящихся к нему слов с какими угодно словами, входящими в какие угодно структуры, все равно оно останется для нас определенной единораздельной цельностью, т.е. окажется и структурой и моделью.