Представление многочленов мультимодальными категориальными грамматиками зависимостей

Авторы

DOI:

https://doi.org/10.17308/sait/1995-5499/2023/3/156-166

Ключевые слова:

категория, поляризованная валентность, мультимодальная категориальная грамматика зависимостей, непроективная зависимость, формальный язык, многочлен

Аннотация

Категориальные грамматики зависимостей являются обобщением классических категориальных грамматик. В отличие от контекстно-свободных грамматик, они описывают структуру предложения не с помощью составляющих, а посредством синтаксических зависимостей между словами. Эти грамматики весьма выразительны и позволяют порождать многие не контекстно-свободные языки. В статье изучаются выразительные возможности одного из вариантов этих грамматик — мультимодальных категориальных грамматик зависимостей. Ранее уже было установлено, что они способны порождать неполулинейные языки. В статье исследуются возможности задания многочленов с помощью таких грамматик. Доказано, что для любого полинома существует грамматика, порождающая множество положительных значений этого полинома, записанных в унарной системе. Аналогичным образом может быть представлено и множество абсолютных величин всех ненулевых значений полинома. Установлено, что можно построить грамматики, осуществляющие вычисление значения полинома на заданном аргументе и вычисление аргумента по заданному значению полинома.

Биография автора

  • Борис Николаевич Карлов, Тверской государственный университет

    канд. физ.-мат. наук, доц., доцент кафедры информатики Тверского государственного университета

Библиографические ссылки

Загрузки

Опубликован

2023-10-26

Выпуск

Раздел

Современные технологии разработки программного обеспечения

Как цитировать

Представление многочленов мультимодальными категориальными грамматиками зависимостей. (2023). Вестник ВГУ. Серия: Системный анализ и информационные технологии, 3, 156-166. https://doi.org/10.17308/sait/1995-5499/2023/3/156-166