ЯЗЫКА МОДЕЛИ МАТЕМАТИЧЕСКИЕ
— математические конструкции, используемые для экспликации свойств естественного языка, т. е. для четкой и однозначной формулировки понятий, которые необходимы для описания языка. В качестве первичных, т. е. заданных извне, для каждого Я. м. м. отбираются некоторые основные понятия, отношения и операции, используемые в теоретической лингвистике, и на их основе с помощью математических (теоретико-множественных, алгебраических, логико-математических, топологических, теоретико-вероятностных и статистических) средств определяются и описываются другие понятия и отношения — как уже имеющиеся в теоретической лингвистике (сюда относится, напр., четкая формулировка понятий падежа, рода и части речи), так и возникающие при точном описании языка (напр., понятие проективности).
Основными понятиями всякой Я. м. м. являются понятия исходного словаря, т. е. конечного мн-ва символов, и цепочки, т. е. последовательности символов из данного словаря. Во многих Я. м. м. задаются также разбиения словаря на классы и отношения между соответствующими классами. Принято различать два типа Я. м. м.: языка модели аналитические, при построении которых используется абстракция актуальной бесконечности, т. е. вся бесконечная совокупность предложений языка рассматривается как исходная данность, и грамматики формальные, в которых используется лишь абстракция потенциальной бесконечности, т. е. каждое предложение возникает (порождающие грамматики) или распознается (распознающие грамматики) на определенном шаге специально построенного исчисления или алгоритма. См. также Лингвистика математическая.
