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

Карлов, Б.Н. (2011) О свойствах языков, задаваемых мультимодальными категориальными грамматиками зависимостей. Вестник ТвГУ. Серия: Прикладная математика (22). С. 91-110. ISSN 1995-0136

Предварительный просмотр

PDF - Опубликованная версия
403kB

Абстракт

В работе продолжается изучение категориальных грамматик зависимостей (КГЗ). Рассматривается мультимодальный вариант этих грамматик с запретами на пересечение дальних связей (ммКГЗ). Доказывается, что множество ммКГЗ-языков замкнуто относительно операции итерации и является абстрактным семейством языков. Устанавливается, что класс ммКГЗ-языков замкнут относительно пересечения, но не замкнут относительно проекции. Построен пример неполулинейного ммКГЗ-языка. Установлено, что существует ммКГЗ с NP-полной проблемой принадлежности.

Абстракт (англ.)

In the paper we continue to investigate the categorial dependency grammars (CDG). A multimodal version of these grammars with negative mode pairing rules (mmCDG) is considered. It is proved that the set of mmCDG-languages is closed under iteration and it is an abstract family of languages. We also establish that the class of mmCDG-languages is closed under intersection, but it is not closed under projection. An example of a non-semilinear mmCDG-language is presented. It is established that there exists a mmCDG with NP-complete membership problem.

Тип объекта:	Статья
Ключевые слова:	формальные грамматики, категориальные грамматики, структура зависимостей, абстрактные семейства языков, неполулинейные множества, сложность проблемы принадлежности
Ключевые слова (англ.):	formal grammars, categorial grammars, dependency structure, abstract families of languages, non-semilinear sets, complexity of membership problem
Категории:	5 Математика. Естественные науки > 51 Математика > 519.7 Математическая кибернетика, включая теорию управляющих систем, теорию информации и математические вопросы семиотики > 519.76 Математические вопросы семиотики > 519.766 Модели языков и языковых структур > 519.766.2 Алгебро-логические и теоретико-множественные модели языков и языковых структур > 519.766.23 Модели, задаваемые порождающим исчислением (грамматикой)
Подразделения:	Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики
ID Code:	1593
Deposited By:	И.С. Солдатенко
Deposited On:	08 Янв 2017 08:17
Последнее изменение:	08 Янв 2017 08:17

Repository Staff Only: item control page