БСЭ БСЭ - Большая Советская Энциклопедия (МА)

Математическое описание языка основано на восходящем к Ф. де Соссюру представлении о языке как механизме, функционирование которого проявляется в речевой деятельности его носителей; её результатом являются «правильные тексты» — последовательности речевых единиц, подчиняющиеся определённым закономерностям, многие из которых допускают математическое описание. Изучение способов математического описания правильных текстов (в первую очередь предложений) составляет содержание одного из разделов М. л. — теории способов описания синтаксической структуры. Для описания строения (синтаксической структуры) предложения можно либо выделить в нём «составляющие» — группы слов, функционирующие как цельные синтаксические единицы, либо указать для каждого сло'ва те слова', которые от него непосредственно зависят (если такие есть). Так, в предложении «Лошади кушают овёс» при описании по 1-му способу составляющими будут: всё предложение I , каждое отдельное слово и словосочетание С = «кушают овёс» ( рис. 1 ; стрелки означают «непосредственное вложение»); описание по 2-му способу даёт схему, показанную на рисунке 2 . Математические объекты, возникающие при таком описании структуры предложения, называются деревом составляющих (1-й способ) и деревом синтаксического подчинения (2-й способ).

Другой раздел М. л., занимающий в ней центр, место, — теория формальных грамматик, возникшая главным образом благодаря работам Н. Хомского . Она изучает способы описания закономерностей, которые характеризуют уже не отдельный текст, а всю совокупность правильных текстов того или иного языка. Эти закономерности описываются путём построения «формальной грамматики» — абстрактного «механизма», позволяющего с помощью единообразной процедуры получать правильные тексты данного языка вместе с описаниями их структуры. Наиболее широко используемый тип формальной грамматики — так называемая порождающая грамматика, или грамматика Хомского, — упорядоченная система G = I , R>, где: V и W — непересекающиеся конечные множества; I — элемент W; R — конечное множество правил вида j®y, где j и y — цепочки (конечные последовательности) элементов V и W. Если j®y правило грамматики G и w 1, w 2, — цепочки из элементов V и W, то говорят, что цепочка w 1yw 2непосредственно выводима в G из w 1jw 2. Если x 0, x 1, …, x n— цепочки и для каждого i = 1, ..., n цепочка x i, непосредственно выводима из x i-1, то говорят, что x nвыводима из x 0в G. Множество цепочек из элементов V, выводимых в G из I , называется языком, порождаемым грамматикой G. Если все правила грамматики G имеют вид A ®y, где А — элемент W, G называется бесконтекстной, или контекстно-свободной. В лингвистической интерпретации элементы V чаще всего представляют собой слова, элементы W — символы грамматических категорий, I — символ категории «предложение». В бесконтекстной грамматике вывод предложения даёт для него дерево составляющих, в котором каждая составляющая состоит из слов, «происходящих» от одного элемента W, так что для каждой составляющей указывается её грамматическая категория. Так, если грамматика имеет в числе прочих правила I ® S x, у, имV y, V y® V t yS x, y’ вин, S мyж, ед, вин® овёс, S жен, мн, им® лошади, V t мн® кушают, где V yозначает категорию «группа глагола в числе у », V t y— «переходный глагол в числе y », S x,y,z— «существительное рода х в числе у и падеже z », то приведённое выше предложение имеет вывод, показанный на рис. 3 , где стрелки идут из левых частей применяемых правил к элементам соответствующих правых частей. Формальные грамматики используются для описания не только естественных, но и искусственных языков, в особенности языков программирования.

М. л. изучает также аналитические модели языка, в которых на основе тех или иных данных о речи, считающихся известными (например, множества правильных предложений), производятся формальные построения, дающие некоторые сведения о структуре языка. Приложение методов М. л. к конкретным языкам относится к области лингвистики (см. Языкознание ).

Лит.: Хомский Н., Синтаксические структуры, в сборнике: Новое в лингвистике, в. 2, М., 1962; Гладкий А. В.. Мельчук И. А., Элементы математической лингвистики, М., 1969; Маркус С., Теоретико-множественные модели языков, перевод с английского, М., 1970; Гладкий А. В., Формальные грамматики и языки, М., 1973.

А. В. Гладкий.

Рис. 3 к ст. Математическая лингвистика.

Рис. 2 к ст. Математическая лингвистика.

Рис. 1 к ст. Математическая лингвистика.

Математи'ческая ло'гика, логика, развиваемая математическим методом. Характерным для М. л. является использование формальных языков с точным синтаксисом и чёткой семантикой, однозначно определяющими понимание формул. Потребность в такой логике выявилась в начале 20 века в связи с интенсивной разработкой оснований математики , возникновением множеств теории , где были открыты антиномии (см. Парадокс ), уточнением понятия алгоритма и другими глубокими и принципиальными вопросами математической науки. Однако значение М. л. для науки в целом не исчерпывается её математическими приложениями, поскольку хорошо рассуждать и доказывать приходится во всех науках. Вот почему М. л. с полным правом может быть охарактеризована как логика на современном этапе. См. статья Логика (раздел Предмет и метод современной логики) и литературу при этой статье.

А. А. Марков.

Математи'ческая моде'ль, приближённое описание какого-либо класса явлений внешнего мира, выраженное с помощью математической символики. М. м. — мощный метод познания внешнего мира, а также прогнозирования и управления. Анализ М. м. позволяет проникнуть в сущность изучаемых явлений. Процесс математического моделирования , то есть изучения явления с помощью М. м., можно подразделить на 4 этапа.

Первый этап — формулирование законов, связывающих основные объекты модели. Этот этап требует широкого знания фактов, относящихся к изучаемым явлениям, и глубокого проникновения в их взаимосвязи. Эта стадия завершается записью в математических терминах сформулированных качеств, представлений о связях между объектами модели.